Incorrect Answer.


There cannot be a proof for p q r, q p, since soundness of propositional logic would then imply that p q r, q p holds as well. But the latter is not true (recall Question 5); for if p and q are false, then p q r and q are true, but the claimed consequence, p, is not.
Back to Question.
Next Question.