Incorrect Answer.


To see that the sequent p q r, q, r p. cannot be valid, we only have to find an assignment of truth values to p, q, and r, such that p is false whereas the three formulas p q r, q, and r are true. But these constraints determine that p, r get assigned F and q has value T. These constraints are indeed satisfied, given that assignment of truth values (the implication is true since its premise is false; why?). By soundess of the natural deduction calculus for propositional logic, the sequent above cannot be valid, meaning that it cannot have a proof.
Back to Question.
Next Question.