Logic lecture three

Here is the powerpoint from the third lecture.