COMP 280 Assignment 3
Do the following problems, totalling to 100 points, found on the page:
Exercises for First-Order Logic
- Problem 1: 10 points
- Problem 2: 5 points
- Problem 4: 10 points
- Problem 7 parts 2,3,5: 10 points
- Problem 8: 10 points
- Problem 9: 10 points
- Problem 12: 15 points
- Problem 13 parts 2,4,5: 10 points
- Problem 18 parts 1,2: 20 points
- Problem 18 part 4: 5 points extra credit