1. (U • Y) ⊃ Z
2. ∼Z
-Consider assuming 'Y' 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) ∼(U • Y)
B) (Y • U) ⊃ Z
C) Y • ∼Z
D) All of the above
E) None of the above

Question

Quizplus · Accepted Answer

The correct answer is D because all of the choices are immediate consequences of the given premises with the assumption of 'Y'.