Pure Maths Notes, 3 Logical Equivalence 2.