1 V ≡ (W $\lor$ ∼X)
2 ∼Y ≡ ∼V
3

Multiple Choice

1. V ≡ (W $\lor$ ∼X)
2. ∼Y ≡ ∼V
3. (W ⊃ Y) ⊃ Z
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?

A) ∼(Y ≡ V)
B) ∼(∼Y ≡ ∼V)
C) Y ≡ ∼V
D) V ≡ ∼Y
E) Y ≡ V