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

question 291

Multiple Choice

1. A ≡ ∼(B $\lor$ C)
2. ∼D ≡ (A • E)
3. (D ⊃ B) • (E ⊃ B)
-Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?

• A) B ≡ D
• B) B ≡ E
• C) B ≡ (D \( \lor \) E)
• D) B ≡ A
• E) B ≡ (A \( \lor \) E)