1. Mathematics for Computer Science: Logic and Discrete Structures 2013-14 Dr Konrad Dabrowski Methods of Proof 1. Mathematical proofs. 2 2. Direct proofs. 4 3. Proof by…
