Question 1
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 11?
◦ 4, 10 MP
◦ 3, 10 MT
◦ 9, 8 HS
Question 2
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 12?
◦ 11 Add
◦ 10, 8 MP
◦ 11 DN