1 J ⊃ (K ⊃ M)
2 $\lor$ ∼M
3 J

Multiple Choice

1. J ⊃ (K ⊃ M)
2. L $\lor$ ∼M
3. J $\lor$ (K • ∼L)
-Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?

A) J ≡ K
B) J ≡ (K ⊃ L)
C) J ≡ L
D) J ≡ M
E) J ≡ (M ⊃ L)