|
Title: Consider this proof, (1.) ~IvE (2.) ~I E (3.) ~E / E (4.) I E (5.) ~E ~I (6.) ~E E (7.) E What ... Post by: gslwong on May 12, 2022 Consider this proof, (1.) ~IvE (2.) ~I ⊃ E (3.) ~E /∴ E (4.) I ⊃ E (5.) ~E ⊃ ~I (6.) ~E ⊃ E (7.) E What is the justification for line 4?
▸ 1 DS ▸ 1 Cond ▸ 2, 3 MT Title: Consider this proof, (1.) ~IvE (2.) ~I E (3.) ~E / E (4.) I E (5.) ~E ~I (6.) ~E E (7.) E What ... Post by: tranle311 on May 12, 2022 Content hidden
|