|
Title: Consider this proof, (1.) E D (2.) ~ (E D) O/ Ev~O (3.) [~ (E D) O] [O ~ (E D)] (4.) [O ... Post by: johndoris on May 12, 2022 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 4?
▸ 3 Simp ▸ 3 Com ▸ 3, 2 HS Title: Consider this proof, (1.) E D (2.) ~ (E D) O/ Ev~O (3.) [~ (E D) O] [O ~ (E D)] (4.) [O ... Post by: ssong07 on May 12, 2022 Content hidden
|