Contraposition

In logic, contraposition is the tautology

$(P \rightarrow Q) \Leftrightarrow (\neg Q \rightarrow \neg P).$

In logic, it is often useful when proving a

$P \rightarrow Q$ -type

statement, to simply prove its contrapositive.

Last updated: 10-15-2005 20:29:41

The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License. How to see transparent copy

Encyclopedia