Title: Consider this proof, (1.) ~ A ( I v ~ D) (2.)~A~I / ~D (3.) ~ A (4.) I v ~ D (5.) ~ I ~ A (6.) ~ I ... Post by: jkim3464 on May 12, 2022 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 Title: Consider this proof, (1.) ~ A ( I v ~ D) (2.)~A~I / ~D (3.) ~ A (4.) I v ~ D (5.) ~ I ~ A (6.) ~ I ... Post by: amandashimkus on May 12, 2022 Content hidden
|