Due date: Wednesday, September 10, 2025.

Propositional Logic

Solve the following exercises from the textbook:

• Chapter 2.1, pages 13 and 14, exercises 2 b, d, 3 b, c, 4, 5, 6, 7, 8.
• Chapter 2.2, page 24, exercises 9 b, c, e, 10 c, e, 11 a, c, 12 a, b.

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.