Description
Problems
==
1. (4 points) ∀ x ∀ y p(x, y) ⊢ ∀ y ∀ x p(x, y)
2. (5 points) ∃ x ∃ y p(x, y) ⊢ ∃ y ∃ x p(x, y)
3. (4 points) ¬(p → q) ⊢ p ∧ ¬q
4. (5 points) ¬∃ x p(x) ⊢ ∀ x ¬p(x)
If you have not read the above note on “Using PBC”, you should do so now.
5. (6 points) ¬∀ x p(x) ⊢ ∃ x ¬p(x)
6. (6 points) ¬∀ x p(x) → q(x) ⊢ ∃ x p(x) ∧ ¬q(x)
What to submit
==
Commit and push your project containing the solutions to your github repository (see videos) before the deadline. A good practice is to commit/push whenever meaningful progress is made (like you finish a question or fix a bug).