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.