Messages

Ignore the previous message (which I for some reason cannot edit). What  I meant to write was:

The lecture Tuesday 16 will start with a crash course on propositional logic. The course is recommendable for everyone (even if those already familiar with with propositional logic).

The lecture Wendesday 17 will start with a crash course on propositional logic. The course is recommendable for everyone (even if those already familiar with with propositional logic).

I have started to lecture Chapter 2. Tomorrow (Wednesday) I will lecture Section 2.3 and 2.4.

I am more or less with lecturing from Chapter 1. Next week we will solve and discuss exercises (see below). 

....  not familiar with very elementary first-order logic should consult some textbooks on the subject. There will be a lot of them 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.