MTH 314 Midterm: MTH314 - W2015 (Practice) Midterm (Solution)

40 views7 pages
31 Jan 2019
Department
Course
Professor

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.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers