Necessary Proof Techniques

1.Direct Proof – combining axioms, definitions, and earlier theorems.
2.Proof by Induction – theorem holds for n; show that it holds for n+1.
3.Disprove by Counter Example.
4.Proof by Contradiction – prove “if A then not B” leads to logical contradiction.
5.Proof by Contrapositive – prove “if not B then not A”.