# modus tollens

(redirected from*Proof by contrapositive*)

Related to Proof by contrapositive: Proof by contradiction, Proof by induction

## modus tollens

(ˈməʊdəs ˈtɒlˌɛnz)*n*

(Logic)

*logic*the principle that whenever a conditional statement and the negation of its consequent are given to be true, the negation of its antecedent may be validly inferred, as in*if it's Tuesday this must be Belgium*and*this isn't Belgium so it's not Tuesday*[literally: mood that denies]

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: