Question 1
Consider this proof, (1.) ~ A ⊃ ( I v ~ D) (2.)~A•~I /∴ ~D (3.) ~ A (4.) I v ~ D (5.) ~ I • ~ A (6.) ~ I (7.) ~D What is the justification for line 3?
◦ 2 Simp
◦ 1 Simp
◦ 2 Com
Question 2
Consider this proof, (1.) ~ A ⊃ ( I v ~ D) (2.)~A•~I /∴ ~D (3.) ~ A (4.) I v ~ D (5.) ~ I • ~ A (6.) ~ I (7.) ~D What is the justification for line 4?
◦ 2, 1 MT
◦ 1, 2 HS
◦ 1, 3 MP