Proof By Contraposition
3 min readJul 7, 2018
Discrete Math: A Proof By Contraposition
Proof by contraposition is a type of proof used in mathematics and is a rule of inference. In logic the contrapositive of a statement can be formed by reversing the direction of inference and negating both terms for example :
p → q
= -p ← -q
= -q → -p