|
Title: Consider this proof, (1.) E (I ~ E) (2.)E / ~E (3.) I ~E (4.) ~E I (5.) ~E What is the ... Post by: bundlecrap on May 12, 2022 Consider this proof, (1.) E ⊃ (I ∙ ~ E) (2.)E /∴ ~E (3.) I ∙ ~E (4.) ~E ∙ I (5.) ~E What is the justification for line 5?
▸ 4 Simp ▸ 1, 4 MT ▸ 2 Add Title: Consider this proof, (1.) E (I ~ E) (2.)E / ~E (3.) I ~E (4.) ~E I (5.) ~E What is the ... Post by: birdnugget on May 12, 2022 Content hidden
|