Logic 1, Spring 2025
On this page, you may find the specifics to the Logic 1 course. Please refer to Logic for information on where to find the lecture notes, how to communicate with the teaching team and the general setup of this and the Logic 2 course. In particular make sure to study the Logic Rondo lecture notes before the lectures.
The course will be organised as follows. Throughout the semester, there are 7 lectures and exercise classes, see the Course Schedule for details. You will have to submit homework assignments and the grade of the homework will make 30% of your final grade, Logic for details. The course will end with an exam, which makes 70% of your final grade, see the Exam section below.
Course Schedule
The lectures take place weekly in Gorleaus C4/5 (Saucer) according to the timetable below, while the exercise classes take are in various rooms, see Practical Rooms below. The homework deadlines will be available on Brightspace.
Here is the timetable of the course, numbered by semester week:
| Week | Practical | Lecture |
|---|---|---|
| 1 | Tue, 04 Feb, 15:15 | Lecture 1 (Mon, 03 Feb, 13:15) |
| 2 | Tue, 11 Feb, 15:15 | Lecture 2 (Mon, 10 Feb, 13:15) |
| 3 | Tue, 18 Feb, 15:15 | Lecture 3 (Mon, 17 Feb, 13:15) |
| 4 | Tue, 25 Feb, 15:15 | Lecture 4 (Mon, 24 Feb, 13:15) |
| 5 | Tue, 04 Mar, 15:15 | Lecture 5 (Mon, 03 Mar, 13:15) |
| 6 | Tue, 11 Mar, 15:15 | Lecture 6 (Mon, 10 Mar, 13:15) |
| 7 | Tue, 18 Mar, 15:15 | Lecture 7 (Mon, 17 Mar, 13:15) |
| 8 | Exam week | Exam on Fri, 28 Mar, 14:00 |
After this, Logic 2 continues on Wednesdays and Thursdays.
Practical Rooms
You will be distributed over rooms through enrolling in exercise groups on Brightspace at the beginning of the course. The following table shows the detailed list of rooms where exercise classes take place and which exercise group is assigned to each. The pattern is that odds rooms have odd group numbers, except for groups 15 and 17.
| Room | Groups |
|---|---|
| Gorlaeus Building - BM.1.23 | 1,3,5,7,9,11,13 |
| Gorlaeus Building - BM.1.26 | 2,4,6,8,10,12,15,17 |
| Gorlaeus Building - BM.1.33 | 19,21,23,25,27,29,31,33 |
| Gorlaeus Building - BW.0.40 | 14,16,18,22,24,26,28,32 |
Exam
The exam and retake take place in the University Sports Centre are scheduled for
- Fri, 28 Mar, 14:00 and
- Wed, 18 Jun, 13:00, respectively.
The exam will take place in ANS and you have 3 hours to complete it. You may find instructions with the exam in ANS, and an example of how the exam looks like on Brightspace.
During the exam, you will be using Proof Rondo. So make sure to be fluent in using it.
Lectures
Lecture 1
Introduction and history, syntax of propositional logic (PL), translating natural language to formulas, parse trees, subformulas
Lecture 2
Deductive systems, natural deduction (ND) in sequent style, derivations (proof trees), machine-checked proofs
Lecture 3
Fitch-style natural deduction, truth tables, satisfiability, tautologies, classical ND (cND) for PL (proof by contradiction)
Lecture 4
Intro first-order logic (FOL): motivation, language, variables and binding
Lecture 5
Proof Theory of FOL, Substitution, natural deduction for intuitionistic FOL (ND₁) and classical FOL (cND₁), Fitch-Style proofs in ND₁
Lecture 6
Machine-checked proofs and proof-assistants for FOL, unification
Lecture 7
Proof normalisation, Herbrand’s theorem, First-Order Horn Clauses for Automatic Deduction