Course - Logic MT24

Created: October 11, 2024 | Updated: June 26, 2025 | 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, 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 and equivalences 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

• [[Notes - Logic MT24, Gödel's completeness theorem]]^U

  (incoming)
• [[Course - Set Theory HT25]]^U

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

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

  (incoming)
• [[Notes - Logic MT24, Isomorphisms and equivalences of structures]]^U

  (incoming)
• [[Notes - Logic MT24, Propositional logic]]^U

  (incoming)
• [[Notes - Logic and Proof MT24, Compactness theorems]]^U

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

  (incoming)
• [[University Notes]]^U

  (incoming)
• [[Notes - Logic MT24, Proofs in propositional logic]]^U

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

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

  (incoming)
• [[Courses MT24]]^U

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

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

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

  (incoming)
• [[Part B]]^U

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

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

  (sim: 0.669)