Incorrect Answer.


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