BIGpedia - Contraposition - Encyclopedia and Dictionary Online

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.

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

01-04-2007 01:21:04