Skip to main content

Logic 1

Fast track

Lecture 1

Date: Tue 10 January

slides [pdf] , handout [pdf]

Exercises for this lecture

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

slides [pdf] , handout [pdf]

Exercises for this lecture

Lecture 3

Date: Tue 24 January

slides [pdf] , handout [pdf]

Exercises for this lecture

Lecture 4

Date: Tue 31 January

slides [pdf] , handout (corrected) [pdf]

Exercises for this lecture

    • 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.
    slides [pdf] , handout [pdf]

    Exercises for this lecture

    Logical validity
    Reading: §2.1

     Exercises for this topic

    Introduction to FOL
    Reading: §1.1, §1.2, §1.3

    Exercises for this topic 

    Lecture 2

    Date: Thursday, 12 January
    slides [pdf] , handout [pdf]

    Exercises for this lecture

    Counterexamples
    Reading: §2.5

    Exercises for this topic 

    The connectives ¬, ∨, ∧
    Reading: §§3.1 - 3.3

    Exercises for this topic 

    Truth tables

    Exercises for this topic