modus tollens
(redirected from Proof by contrapositive)

Also found in: Wikipedia

0.02 sec.

modus tollens Latin [ˈməʊdəs ˈtɒlˌɛnz]

(Philosophy / 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, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback
Add definition

Mentioned in	?		Dictionary browser	?		Full browser	?
No references found			Pronominally Prononce Pronotary pronotum pronoun pronounce pronounceable pronounced pronouncedly pronouncement Pronouncer pronouncing pronto Pronubial pronuclear pronucleus Pronuncial pronunciamento Pronunciamiento pronunciation pronunciation spelling Pronunciative Pronunciator Pronunciatory proof Proof by contrapositive Proof charge proof coin Proof impression proof in the pudding Proof load proof of the pudding Proof reader proof sheet proof spirit Proof staff Proof stick proof stress Proof text proof theory Proof-arm Proof-proof proofed proofing Proofless proofread proofreader proofreading Proostracum Prootic prop			PROO Prooestrus Prooestrus Prooestrus proof proof proof proof proof proof Proof & Experimental Establishment Proof (alcohol) Proof (alcohol) Proof (disambiguation) Proof (disambiguation) Proof (disambiguation) Proof (disambiguation) Proof (logic) Proof (logic) Proof (math) Proof (mathematics) Proof (rapper) Proof assistant proof beyond a reasonable doubt proof beyond a reasonable doubt proof beyond a reasonable doubt proof beyond a reasonable doubt Proof by contradiction Proof by contradiction Proof by contradiction Proof by contrapositive proof by descent Proof by induction Proof by induction Proof by Repeated Assertion Proof carrying code Proof charge Proof coin Proof coinage Proof Editor for Sequent Calculus Proof File proof firing Proof General Interface Protocol Proof impression proof in the pudding proof is in the pudding proof legally presented at trial Proof Like Proof load Proof load Proof mark Proof Markup Language proof of absence Proof of Address Proof of age Proof of Age Standards Scheme Proof of Age Standards Scheme Proof of Age Standards Scheme Proof of Age Standards Scheme proof of authority

Dictionary, Thesaurus, and Translations

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.

modus tollens (redirected from Proof by contrapositive)

modus tollens
(redirected from Proof by contrapositive)