1 a ⊃ (B $\lor$ ∼C)
2 D ⊃ (∼B • ∼E)
-Consider Assuming 'A •

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

Correct Answer:

Verified

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

Access For Free