4. Construct proofs for the following theorems, starting with an assumption, not with the theorem itself, which is the conclusion you must reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and 8) [1 mark each]. a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q) b. p (p. (q v~q)) c. ((pq) (q> r)) v (r > p) d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))

4. Construct proofs for the following theorems, starting with an assumption, not with the theorem itself, which is the conclusion you must reach, not the initial premise! (= Unit 9 - plus the rules from Units 7 and 8) [1 mark each]. a. (~ (p. q) = (sv r)) > (~ (p > ~s) > ~ q) b. p (p. (q v~q)) c. ((pq) (q> r)) v (r > p) d. ((pvq) (r. ~s)) (s ((t. w) > ~ p))

Algebra & Trigonometry with Analytic Geometry

13th Edition

ISBN:9781133382119

Author:Swokowski

Publisher:Swokowski

Chapter2: Equations And Inequalities

Section2.6: Inequalities

Problem 80E

See similar textbooks