Due date: Wednesday, October 1, 2025.

Inferences with Predicate, Set Theory

Solve the following exercises from the textbook:

• Chapter 2.4, pages 44 and 45, exercises 10, 13 .
• Chapter 4.1, page 102, exercises 7, 11, 12. For 11 and 12, use the connection to logic and inferences.
• Chapter 4.2, page 110, exercises 2 (use logic and inferences), 10 a, d.
• Chapter 4.6, page 138, exercises 1 a, c, 4.

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.