Answer Happy

1. DvK) D (AB) (ME) (Bv C) 2. / ( DE) (CVNA) 3. ACP 4. D.E 5. 6. AB 3 Simp 3 Com 5 Simp Add 6 Add 7. ME 8. DVK 9. 8 Com 10. Вv C 1,7 MP 11. BVC MP 12. Аз в 10 13. В С 11 Impl 14. AC 12,13 14 Impl 15. AVC 16. 15 Com 17. (DE) 2 (CV-A) 3-16
Consider the natural deduction proof given below. Using your knowledge of the natural deduction proof method a down menus, fill in the blanks to identify the missing information (premises, inferences, or justifications) that com 1. (DK) (AB) (ME) (w vC) 2. 1 (DE) ( CA) ACP 3. 4. D 3 Simp 5. E.D 3 Com 6. E 5 Simp 7. DvK Add 8. EM 9. 1 ME 8 10. NAVB 3 11. В v C P 2,5 12. AB 13. 1,5 В эс Аэ С 14. 6 15. NAVE 3,4 16. 17 ( DE) ( CA) 4
Quiz 6 22. Chapter 7 - Question 22 Consider the natural deduction proof given below. Using your knowledge of the natural deduction proof method down menus, fut in the banks to idently the missing information (premises, inferences, or justifications that a 1. DK) (AB) ( ME) (BC) 2. /(0.5) (-A) ACP 3. O 3 Simp E.D 3 Com 6. E 5 Simp Add 7. DX 8. EM 6 Add 9. MVE 8 Com 10. 1,7 MP AVB BC 11. MP 12 A 10 13. 14. В эс Аэс AVC 2,9 15. 7,10 16. 17.00. (CV) 3,7 7 (Use the following tabs if you need help remember 6 the natural deduction rules you have learned so far TURA, DEDUCTION RULES NO PROCS WETHODE 2,5 Modus Pontes MP Sumification (Simpl Modus Tons MT Conjunction Com Pure Hypothetical Sytogam) Disjunctive Sylogi) Can Adstion Add De Morgan Rule (OM) Commutativity (Com Q 5 Ws 3 4 96 5 @ 0 > & 7 8 00 E R T
Consider the natural deduction proof given below. Using your knowledge of the natural deduction proof met down menus, fill in the blanks to identify the missing information (premises, inferences, or justifications) thi 1. (DK) (AB) (M VE) (BVC) 2. 7 (DE) (CV-A) 3. ACP 4. D 5. E.D 6. E 7. DvK 3 Simp 3 Com 5 Simp Add 6 Add 8 Com 1,7 MP 8. EVM 9. ME 10. ~AVB 11. ~BVC MP 12. AB 10 13. В С 11 MP 14. Аэ С 12, 15. ~AVC 141 MT 16. 15 HS 17. (DE) ( CA) 3-1 DS (Use the following tabs if you need help remembering CD e natural deduction rules you have learned s Simp NATURAL DEDUCTION RULES AND PROOF METHODS Conj Pura H Modus Ponens (MP) Simplification (Simp) Modus Tollens (MT) Conjunction (Coni Add Syllogism (HS) Disjunctive Syllogism (DS) na Morale Rulan) Addition
Quiz 6 9. MVE 8 Com 1,7 MP 10. MAB 11. wBVC MP 12. AB 10 13. Bэс А эс 11 Impl 12,13 14. 15. WAVE 14 Imp 15 Com MP 16. 17. ( DE) ( CA) 3-16 MT HS DS atural deduction rules you have learned (Use the following tabs if you need help remembering any NATURA. DEDUCTION RULES AND PROOF METHODS CD Modus Ponens (MP) Modus Tollens (MT) Pure Hypo Simp ogium (HS) Disjunctive Syllogism (DS) Simplification (Simp) Conjunction (Cond Addition (Ad Conj Morgan's Rule (OM) Commutativity (Co Distribution (Dist) Double Negation (ON) Transpositio Material implication (Impl) Material Thutology (Taut) Conditional Proof (ACP-CP) Indir Add NPIP) DM Com Modus ponens (MP): 39 P Assoc Dist DN Explanation: If p implies, and if you have p. You can Trans Impl Equiv Q $ &
15. NAVE 14 Imp! 16. 15 Com 17. (DE) (C v~A) 3-16 с CVNA (Use the following tabs if you need embering any of the natural deduction rules you have AC NATURAL DEDUCTION RULES AND ETHODS NB VC Modus Ponens (MP) Modus To Pure Hypothetical Syllogism (HS) Disjunctive Syllogism AVB Simplification (Simp) Conjuncti Addition (Add) De Morgan's Rule (DM) Commutativit Distribution (Dist) Double Negation (DN) Transposition (Trans) Material Implication (Impl) Mate Tautology (Taut) Conditional Proof (AGP+CP)
13. вэ С 14. 11 Impl 12,13 Аэ С 15. NAVC 14 Impl 16. 15 Com 17. (DE) - (CVA) 3-16 (Use the following tabs if you need help remembering an MP natural deduction rules you have learnec MT NATURAL DEDUCTION RULES AND PROOF METHODS HS Modus Ponens (MP) Modus Tollens (MT) Pure Hypo yllogism (HS) DS Disjunctive Syllogism (DS) Simplification (Simp) Conjunction (Conj) Addition (A le Morgan's Rule (DM) Commutativity (Com CD Distribution (Dist) Double Negation (DN) Transpositi Material Implication (Impl) Material EC Tautology (Taut) Conditional Proof (ACP+CP) Indir Simp AIP + IP) Conj Modus ponens (MP): p9 р Add DM 9 Com Assoc Explanation: If p implies q, and if you have p, you can Dist DN Trans