1. (U • Y) ⊃ Z
2. ∼Z
-Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?

Question

Quizplus · Accepted Answer

All of the options (A, B, C) are derivable from the given premises. Given (U • Y) ⊃ Z and ∼Z, by Modus Tollens, you can derive ∼(U • Y), which is option B. From ∼(U • Y), by De Morgan's Laws, you can derive ∼U ∨ ∼Y, which logically supports both A (U ⊃ ∼Y) and C (Y ⊃ ∼U) through the implication rules.