1 a ≡ ∼(B $\lor$ C)
2 ∼D ≡ (A • E)
3

Multiple Choice

1. A ≡ ∼(B $\lor$ C)
2. ∼D ≡ (A • E)
3. (D ⊃ B) • (E ⊃ B)
-Consider assuming 'B' 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) D
B) ∼D
C) E
D) ∼E
E) B $\lor$ C