Question 1
Consider this proof, (1.) E • D (2.) ~ (E • D) ≡ O/∴ Ev~O (3.) [~ (E • D) ⊃ O] • [O ⊃ ~ (E • D)] (4.) [O ⊃ ~(E•D)]• [~(E•D) ⊃ O] (5.) O ⊃ ~ (E • D) (6.) ~ ~ (E • D) (7.) ~ O (8.) ~ O v E (9.) E v ~ O What is the justification for line 7?
◦ 5, 6 MT
◦ 5, 6 MO
◦ 3, 6 HS
Question 2
Consider this proof, (1.) E • D (2.) ~ (E • D) ≡ O/∴ Ev~O (3.) [~ (E • D) ⊃ O] • [O ⊃ ~ (E • D)] (4.) [O ⊃ ~(E•D)]• [~(E•D) ⊃ O] (5.) O ⊃ ~ (E • D) (6.) ~ ~ (E • D) (7.) ~ O (8.) ~ O v E (9.) E v ~ O What is the justification for line 8?
◦ 7 DeM
◦ 7 Add
◦ 3 Simp