Messages

....  not familiar with very elementary first-order logic should consult some textbooks on the subject. There will be a lot of the out there. Just pick a textbook that suits your own taste.

Recommended exercises from Chapter 1:

• Section 1.3.1, page 12:  1, 2 and 3
• Section 1.4.1, page 17:  3, 4 and 5
• Section 1.5.1, page 21:  1 and 6
• Section 1.6.1, page 26:  2, 3 and 5
• Section 1.7.1, page 32:  2 (a)(b)(d)

• Section 1.7.1 page 32: 7

• Section 1.9.1, page 38:  1, 2 and 4.

Some of these exercises will be solved in class during the next few weeks.