Question 1
Consider this proof, (1.) E • [ ~ I • (~ D v I)] /∴ ~ D v F (2.) [ ~ I • (~ D v I)] • E (3.( ~ I • (~ D v I) (4.) ~ I (5.) (~ D v I) • ~ I (6.) ~ D v I (7.) ~ D (8.) ~ D v F What is the justification for line 6?
◦ 5 DN
◦ 5 Simp
◦ 4, 5 MT
Question 2
Consider this proof, (1.) E • [ ~ I • (~ D v I)] /∴ ~ D v F (2.) [ ~ I • (~ D v I)] • E (3.( ~ I • (~ D v I) (4.) ~ I (5.) (~ D v I) • ~ I (6.) ~ D v I (7.) ~ D (8.) ~ D v F What is the justification for line 2?
◦ 1 Simp
◦ 1 Com
◦ 1 Add