Contrapositive.md (570B)
1 # Contrapositive 2 3 Throughout TB - U1.7.2 Discrete TB 4 5 **Definition:** To prove an if then statement with contrapositive we assume the then statement is false. Following from here we then prove the if part must also be true for the then to be false. So it follows that if the first is true then the second is also true because the second is never true when the first is false. 6 7 This is of the form $\neg q \to \neg p$ where we switch the statements and negate both. To just negate both we [Inverse](Inverse.md) it. 8 9 This always has the same truth value as the original.