Incorrect Answer.


There cannot be a proof for p q q p, since soundness of propositional logic would then imply that p q q p holds as well. But the latter is not true (recall Question 5); for we can make q p false and p q true by assigning T to q and F to p.
Next Question.