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

Question

Quizplus · Accepted Answer

The Answer of 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

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

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