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 5?
◦ 4 Simp
◦ 4 Com
◦ 2, 1 MP
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 6?
◦ 1 Com
◦ 2, 1 MT
◦ 1 DN