Contraposition (traditional logic): Difference between revisions

Revision as of 14:22, 10 November 2004

Revision as of 19:30, 10 November 2004

Line 1:

In [[logic]], '''Contropositioncontraposition''' is the [[tautology]]

:<math>(P \rightarrow Q) \Leftrightarrow (\neg Q \rightarrow \neg P).</math>

In logic, it is often useful when proving a

:<math>P \rightarrow Q</math>-type

statement, to simply prove its ''[[contrapositive]]''.

[[Category:Logic]]