Difference between revisions of "Contrapositive"
Marianasinta (talk | contribs) |
Scrabbler94 (talk | contribs) (Undo revision 215843 by Marianasinta (talk)) (Tag: Undo) |
||
| Line 13: | Line 13: | ||
== Examples == | == Examples == | ||
| − | Given the conditional statement "If a polygon has 3 sides, then it is a triangle", the contrapositive is "If a polygon is not a triangle, then it does not have | + | Given the conditional statement "If a polygon has 3 sides, then it is a triangle", the contrapositive is "If a polygon is not a triangle, then it does not have 3 sides". |
== See also == | == See also == | ||
* [[Logic]] | * [[Logic]] | ||
Latest revision as of 15:03, 8 May 2024
A contrapositive of a statement is always true, assuming that the conditional statement is true. However, if the conditional statement is false, then the contrapositive is also false.
A conditional statement is usually expressed as
If P, then Q.
The contrapositive statement is usually expressed as
If not Q, then not P.
where P denotes a condition and Q denotes another condition.
Examples
Given the conditional statement "If a polygon has 3 sides, then it is a triangle", the contrapositive is "If a polygon is not a triangle, then it does not have 3 sides".
