Messages

Tomorrow (Wednesday the 8th of October) I will start to lecture Chapter 3, and I will start to prove the Completeness Theorem.

Next week I will continue with the proof of the Completeness Theorem.

Next week we will continue with the proof of Lemma 2.8.4 (page 68). Therafter, we will discuss exercise 8 at page 71, and finally, exercise 4 at page 70.

I may also spend some time answering questions related to the madatory assignment (see below).

I will probably start to lecture Chapter 3 on Wednesday.

You are expected to submit the assignment (in Canvas) before October 17, 14:30.

The deadline will be automatically extended by one week for all you until October 24, 14:30, that is,  you do not have to apply for an extension until October 24.

You do not need to apply for yet another extension of the deadline. Such an application will not be granted. If you have not submitted the assignment before October 24, 14:30, you will not be enrolled for the final exam. 

You find the mandatory assignment here.

Next week will continue to discuss the material in Section 2.8.

We will also discuss exercises in 2.8.1 (see below).

Next week I will lecture the proofs of the Soundness Theorem and the Deduction Theorem. Thereafter we will discuss exercises (from Section 2.7.1, see below)

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.