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

1. A ⊃ (B $\lor$ C)
2. ∼A $\lor$ (D $\lor$ E)
3. ∼(C $\lor$ E)
-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) ∼∼A
C) ∼C • ∼E
D) All of the above
E) Options A and B, but not option C

Correct Answer:

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Access For Free