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)

Question

Quizplus · Accepted Answer

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

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

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