modus tollendo ponens
Appearance
English
[edit]Etymology
[edit]Borrowed from Latin modus tollendō pōnēns (roughly, “mode where negating confirms”).
Noun
[edit]modus tollendo ponens (uncountable)
- (philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is negated, thereby entailing the affirmation of the consequent. Modus ponendo tollens has the form:
- 1. Either P or Q.
- 2. non-P.
- 3. Therefore, Q.
- Synonym: disjunctive syllogism
Hypernyms
[edit]- inference rule
- See also Thesaurus:argument form
Related terms
[edit]Translations
[edit]Translations