aliases:
- Contrapositive
tags:
- Type/Concept
- proto
from:
- "[[Rule of inference]]"
related:
- "[[Converse (logic)]]"
- "[[Inverse (logic)|Inverse]]"
contra:
to:
dateCreated: 2023-11-30, 10:34
dateModified: 2023-11-30, 10:53
version: 1
publish: true
In logic and mathematics, Contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as proof by contraposition. The contrapositive of a statement has its antecedent and consequent inverted and flipped. | |
---|---|
wikipedia:: Contraposition | |
Proof by contrapositive - Wikipedia |
For P > Q
The Inverse (logic) would be ~P > ~Q
The Converse would be Q > P
The Negation would be ~(P > Q)
The contrapositive of P > Q is ~P > ~Q