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.