Due date: Wednesday, September 17, 2025.

Logical Inferences and Predicate Logic

Solve the following exercises from the textbook:

• Chapter 2.2, pages 23 and 24, exercises 2 a, 3 b, 4.
• Chapter 2.4, page 44, exercises 1 a, c, f, g, 3 a, b, 6, 11 b, c, e, f.
• Chapter 2.5, page 53, exercises 2, 4 a, b, c, 5 a, c.

Notes:

• The page numbers refer to what is displayed at the top of the pages and not the count shown above the file.
• You can use exercises and theorems proved in the lecture and in the textbook to solve homework exercises when applicable.