Logic 1
Fast track
Lecture 1
Date: Tue 10 January
Logical validity
Reading: §2.1
Introduction to L1
Reading: §1.1, §1.2, §1.3
Counterexamples
Reading: §2.5
Lecture 2
Date: Tue 17 January
Lecture 3
Date: Tue 24 January
Lecture 4
Date: Tue 31 January
- Handout, slides and exercises for further (fast and standard) lectures are on the moodle page for PH126.
- If you still do not have cannot access the moodle page, please email me: h.lerman at warwick.ac.uk
Standard lectures
Lecture 1
Date: Tuesday, 10 January.
Logical validity
Reading: §2.1
Introduction to FOL
Reading: §1.1, §1.2, §1.3
Lecture 2
Date: Thursday, 12 January
Counterexamples
Reading: §2.5
The connectives ¬, ∨, ∧
Reading: §§3.1 - 3.3
Truth tables