Definition
Given the statement A⟹B (see implies) the contrapositive of this is[1]: ¬B⟹¬A
Proof:
A
|
B
|
A⟹B
|
¬A
|
¬B
|
¬B⟹¬A
|
|
|
T
|
T
|
T
|
T
|
|
T
|
T
|
T
|
|
T
|
T
|
|
|
|
T
|
|
T
|
T
|
T
|
|
|
T
|
So as can be seen:
For example see the definition of: Injection
See also
References
- Jump up ↑ https://en.wikipedia.org/w/index.php?title=Contraposition&oldid=673682637