José Guilherme
New member
- Joined
- Feb 14, 2019
- Messages
- 4
Problem from Bonevac’s Book
So there is this sequent from Bonevac’s book “Deduction” that I’m not quite seeing how to solve it. Looking at the exercise it appears to be obvious but I’m not being able to finish the formal demonstration.
The exercise is the following:
Vx (3yFxy -> VyFyx); 3x3yFxy; therefore VxVyFxy
Any comment would be most welcomed.
(I'm using "V" as the universal quantifier and "3" as the existential quantifier.)
So there is this sequent from Bonevac’s book “Deduction” that I’m not quite seeing how to solve it. Looking at the exercise it appears to be obvious but I’m not being able to finish the formal demonstration.
The exercise is the following:
Vx (3yFxy -> VyFyx); 3x3yFxy; therefore VxVyFxy
Any comment would be most welcomed.
(I'm using "V" as the universal quantifier and "3" as the existential quantifier.)