Conditional statement (logic): Difference between revisions

Revision as of 13:17, 16 January 2012

Revision as of 13:18, 16 January 2012

Line 51:

=== The contrapositive ===

{{Main|Transposition (logic)}}

The contrapositive of a conditional statement is the conditional statement produced when the hypothesis and conclusion are interchanged with each other and then both negated. The resultingresult, conditionalwhich is equivalent to the original, is as follows:

* <math>\lnot q \rightarrow \lnot p </math>