1. Q ⊃ ∼(R $ \lor $ S)
2. ∼R ⊃ T
3. U ⊃ S
-Consider assuming 'Q' 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?

Question

Quizplus · Accepted Answer

Given the assumption of 'Q' for conditional proof, the immediate one-step consequence from the first premise is C) ∼(R $ \lor $ S), as it directly follows from the assumption of 'Q' according to the first premise (Q ⊃ ∼(R $ \lor $ S)).

1 Q ⊃ ∼(R ∨ \lor ∨ S) 2 ∼R ⊃ T 3

1 Q ⊃ ∼(R $\lor$ S)
2 ∼R ⊃ T
3