Given the following premises:
1)∼T ⊃ E
2)∼K ⊃ (∼T ∨ ∼T)
3)M ⊃ (∼K ∨ ∼L)
A)(M ⊃ ∼K) ∨ L 3, Assoc
B)M ⊃ (K ⊃ ∼L) 3, Impl
C)M ⊃ (K ∨ L) 3, DN
D)∼K ⊃ T 2, Taut
E)∼K ⊃ E 1, 2, HS

Question

Quizplus · Accepted Answer

From premise 3, we can apply the rule of material implication twice to get ¬M v (¬¬K v ¬L), which simplifies to ¬M v (K v ¬L). Then, we can apply the rule of transposition to get ¬(K v ¬L) v M, which can be rewritten as K → ¬L v M.

Given the Following Premises