|
Title: Consider this proof, (1.) (~I ~E) (~E E) (2.)~I / I (3.) ~I ~E (4.) ~ ~ E ~ ~I (5.) E I (6.) ~ ... Post by: Bootyshaker on May 12, 2022 Consider this proof, (1.) (~I ⊃ ~E) • (~E ⊃ E) (2.)~I /∴ I (3.) ~I ⊃ ~E (4.) ~ ~ E ⊃ ~ ~I (5.) E ⊃ I (6.) ~ E (7.) (~E ⊃ E) • (~I ⊃ ~E) (8.) ~E ⊃ E (9.) E (10.) ~ ~ E (11.) ~ ~ I (12.) I What is the justification for line 9?
▸ 8, 6 MT ▸ 8, 6 MP ▸ 8, 5 MP Title: Consider this proof, (1.) (~I ~E) (~E E) (2.)~I / I (3.) ~I ~E (4.) ~ ~ E ~ ~I (5.) E I (6.) ~ ... Post by: Dratini on May 12, 2022 Content hidden
|