1 a ⊃ (B $\lor$ ∼C)
2 ∼(B $\lor$

Multiple Choice

1. A ⊃ (B $\lor$ ∼C)
2. ∼(B $\lor$ D)
-Consider assuming 'A' 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) B $\lor$ ∼C
B) ∼B • ∼D
C) ∼B $\lor$ ∼D
D) Options A, B, and C
E) Options A and B, but not option C