Course - Logic MT24

Created: October 11, 2024 | Updated: June 26, 2025 | Read markdown | About these notes | View in context | Study these flashcards

---

This course is a rigorous introduction to the basics of mathematical logic. The course is divided into two halves, the first covering propositional logic and the second covering first-order logic, and is mainly concerned with proving results about logic rather than its applications. Both halves follow the same structure; first discussing the syntax, then the semantics, then a proof system, followed by the completeness and compactness of that proof system.

• Course Webpage
• Lecture Notes
• Related:
  • Course - Set Theory HT25^U
  • Course - Logic and Proof MT24^U
• Dr. Marin Bays wrote the lecture notes for this course, and the notes here are adapted from those notes.
• Other courses this term: Courses MT24^U

Notes

• Notes - Logic MT24, Basic definitions for propositional logic^U
• Notes - Logic MT24, Proofs in propositional logic^U
• Notes - Logic MT24, Example proofs in propositional logic^U
• Notes - Logic MT24, First-order logic^U
• Notes - Logic MT24, Proofs in first-order logic^U
• Notes - Logic MT24, Example proofs in first-order logic^U
• Notes - Logic MT24, Gödel’s completeness theorem^U
• Notes - Logic MT24, Compactness theorems^U
• Notes - Logic MT24, Löwenheim-Skolem theorem^U
• Notes - Logic MT24, Isomorphisms of structures^U
• Notes - Logic MT24, Unbounded dense linear orders^U
• Notes - Logic MT24, Axiomatisations^U

Problem Sheets

• Sheet 1
• Sheet 2
• Sheet 3
• Sheet 4

---

Related posts

• Courses MT24^U

  (incoming)
• Part B^U

  (incoming)
• University Notes^U

  (incoming)
• Course - Set Theory HT25^U

  (incoming)
• Course - Logic and Proof MT24^U

  (incoming)
• Notes - Logic and Proof MT24, All the algorithms^U

  (sim: 0.69)
• Notes - Logic and Proof MT24, Compactness theorem^U

  (sim: 0.672)
• Notes - Logic MT24, Proofs in propositional logic^U

  (incoming)
• Notes - Logic MT24, Example proofs in first-order logic^U

  (incoming)
• Notes - Logic MT24, Axiomatisations^U

  (incoming)
• Notes - Logic MT24, Proofs in first-order logic^U

  (incoming)
• Notes - Logic MT24, Compactness theorems^U

  (incoming)
• Notes - Logic MT24, Example proofs in propositional logic^U

  (incoming)
• Notes - Logic MT24, Unbounded dense linear orders^U

  (incoming)
• Notes - Logic MT24, First-order logic^U

  (incoming)
• Notes - Logic MT24, Löwenheim-Skolem theorem^U

  (incoming)
• Notes - Logic MT24, Gödel's completeness theorem^U

  (incoming)
• Course - Imperative Programming III TT23^U

  (sim: 0.668)