1 X ⊃ (∼Y $\lor$ Z)
2 ∼X ⊃ (Y

Multiple Choice

1. X ⊃ (∼Y $\lor$ Z)
2. ∼X ⊃ (Y $\lor$ Z)
3. ∼Z
-Consider assuming '∼X' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) ∼(∼Y $\lor$ Z)
B) (∼Y $\lor$ Z)
C) (Y $\lor$ Z)
D) ∼(Y $\lor$ Z)
E) ∼X ≡ ∼Z