MTH 314 Midterm: MTH314 - W2015 (Practice) Midterm (Solution)
Document Summary
Mth 314 - midterm (practice) solutions - winter 2015 (1) (a) let p, q, and r be three statements. Show that ( p q r) (p q) (p r) p (q r) using standard logical equivalences (associativity, commutativity, etc). You do not need to provide the names, but i will anyway. ( p q r) (p q) (p r) ( p (q r)) (p q) (p r) (p (q r)) (p q) (p r) (p (q r)) (p (q r)) (p (q r)) ( p (q r)) (p (q r)) ( p ( q r)) 1 (2) prove that the following argument form is valid: (1) (2) (3) r ( q s) ( r q) (s (u v)) (q (p p)) (s u) V v by using standard argument forms (modus ponens, modus tollens, etc. ) and logical equivalences. Be sure to justify each step, making clear which of the standard valid forms or logical equivalences you have used.