CS245 Study Guide - Midterm Guide: Natural Deduction, Qi

110 views9 pages

Document Summary

Prove the following arguments are valid or show that they are invalid by providing a coun- terexample and demonstrating that your counterexample shows the argument is invalid. Do not use any logical laws from transfor- mational proof in your proofs. 1 propositional logic: (p (q r)) ((p q) r) I 2 6 (p (q r)) (p q r) assumption (p q) r. I 10 14 ((p q) r) (p (q r)) (p (q r)) (p q r) 1: (p (q r)) ((p q) r) 2. (p (q r)) ((p q) r: (p (q r)) ((p q) r) And 2: p (q r, ((p q) r) And 13: (p (q r)) And 5: p, q, p, (q r) Closed 18,22: x y, ( x ( w z)) (w z), y z z x y ( x ( w z)) (w z) y z y z assumption. I 3, 4 x assumption premise premise premise.

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

Related Documents

Related Questions