Question 1
Consider this proof, (1.) E ≡ ( ~ I • K) (2.)E /∴ K (3.) [E ⊃ ( ~ I • K)] • [( ~ I • K) ⊃ E] (4.) E ⊃ ( ~ I • K) (5.) ~ I • K (6.)K• ~I (7.) K What is the justification for line 4?
◦ 3 Simp
◦ 3 Com
◦ 1, 3 HS
Question 2
Consider this proof, (1.) E ≡ ( ~ I • K) (2.)E /∴ K (3.) [E ⊃ ( ~ I • K)] • [( ~ I • K) ⊃ E] (4.) E ⊃ ( ~ I • K) (5.) ~ I • K (6.)K• ~I (7.) K What is the justification for line 5?
◦ 4, 2 MT
◦ 4, 2 DS
◦ 4, 2 MP