Lecture 3 (Logic) Common Tautologies and Indirect Proof