Contrapositive

From Maths
Revision as of 18:44, 28 August 2015 by Alec (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Given the statement AB (see implies) the contrapositive of this is[1]: ¬B¬A

Proof:

A B AB ¬A ¬B ¬B¬A
T T T T
T T T T
T T
T T T T

So as can be seen:

  • [AB][¬B¬A]

For example see the definition of: Injection

See also

References

  1. Jump up https://en.wikipedia.org/w/index.php?title=Contraposition&oldid=673682637