COMP 280 Assignment 4

Do the following problems from

Exercises for First-Order Logic

This will total 100 points.

Problem 20, skipping D2: 10 points
Problem 22, part 1: 5 points
Problem 23: 25 points
Problem 24 part 2: 10 points
Problem 25: 10 points
Problem 26: 5 points
Problem 27: 10 points
Problem 31: 10 points
Problem 32: 15 points