A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:
Origin: From modus tollendo tollens, from modus and forms of tollo.
In propositional logic, modus tollens is a valid argument form and a rule of inference. The first to explicitly state the argument form modus tollens were the Stoics. The inference rule modus tollens, also known as the law of contrapositive, validates the inference from implies and the contradictory of, to the contradictory of . The modus tollens rule can be stated formally as: where stands for "P implies Q", stands for "it is not the case that Q". Then, whenever "" and "" each appear by themselves as a line of a proof, "" can validly be placed on a subsequent line. The history of the inference rule modus tollens goes back to antiquity. Modus tollens is closely related to modus ponens. There are two similar, but invalid, argument forms known as affirming the consequent and denying the antecedent.
The numerical value of modus tollens in Chaldean Numerology is: 9
The numerical value of modus tollens in Pythagorean Numerology is: 7
Images & Illustrations of modus tollens
Translations for modus tollens
From our Multilingual Translation Dictionary
- tollens modusIndonesian
Get even more translations for modus tollens »
Find a translation for the modus tollens definition in other languages:
Select another language:
Discuss these modus tollens definitions with the community:
Word of the Day
Would you like us to send you a FREE new word definition delivered to your inbox daily?
Use the citation below to add this definition to your bibliography:
"modus tollens." Definitions.net. STANDS4 LLC, 2017. Web. 15 Dec. 2017. <http://www.definitions.net/definition/modus tollens>.