Basic methods of proofs (notion of implication, equivalence, contraposition, direct proof, counterexample, proof by contradiction, weak and strong induction).
