1. P ⊃ [Q ⊃ (P ⊃ R)]
2. P
3. Q
-Which of the following propositions is derivable from the given premises using the rules of section 3.1 (MP, MT, DS, HS)?
A) ∼P
B) R ⊃ P
C) R
D) ∼R
E) Q ⊃ R

Question

Quizplus · Accepted Answer

Using modus ponens with premises 1 and 2, we can derive P ⊃ R. Then, using modus ponens again with premises 3 and P ⊃ R, we can derive R. Therefore, option C is the correct choice.