1 L ⊃ M
2 $\lor$ (M ≡ ∼N)
3

1. L ⊃ M
2. L $\lor$ (M ≡ ∼N)
3. ∼M
-Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut) ?

A) ∼M ≡ ∼N
B) ∼M ⊃ ∼N
C) N ⊃ M
D) N
E) L

Correct Answer:

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Access For Free