1 Methods of Proof. 2 Consider (p (p→q)) → q pqp→q p (p→q)) (p (p→q)) → q TTTTT TFFFT FTTFT FFTFT.
1 Basic Proof Methods I Basic Proof Methods II Proofs Involving Quantifiers.
Discrete Structures Rules of inference