Question: Fill in the missing elements in the following proof. 1. (-AVB) L 2.-8 3. A B 4. LD (-RVD) 5:-D (Rv F)/: (LVG) * -R
Fill in the missing elements in the following proof. 1. (-AVB) L 2.-8 3. A B 4. LD (-RVD) 5:-D (Rv F)/: (LVG) * -R 6.-A (2,3 Modus Ponens 7.-D (5, Modus Tollens 8. RVF (5, Addition 9. (-A V B) (-R v D) (1,4 10.-A V B (6, Addition 11.-R V D (9, 10 Addition 12.-R (7,11 Modus Ponens 13. L (1,10 Simplification 14. LVG (13, Addition 15. (LVG) * -R (12, 14 Conjunction ( 0 ( O (
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
