Course - Logic MT24

Created: October 11, 2024
Updated: November 07, 2024

---

• Course Webpage
• Lecture Notes
• Sister course: [[Course - Set Theory HT25]]^?
• Related: [[Course - Logic and Proof MT24]]^U
• Other courses this term: [[Courses MT24]]^U

Timetable

• Thursday 3-4PM L1 (lecture)
• Friday 3-4PM L1 (lecture)
• Thursday 9:30AM-11AM C1, weeks 2,4,6,8 (class)

Notes

• [[Notes - Logic MT24, Propositional logic]]^U
• [[Notes - Logic MT24, Proofs in propositional logic]]^U
• [[Notes - Logic MT24, First order logic]]^U

Problem Sheets

• Sheet 1
• Sheet 2
• From the previous year:
  • Sheet 1
  • Sheet 2
  • Sheet 3
  • Sheet 4

To-Do List

• Every formula is equivalent to one in DNF
• Add examples of deductions from axioms
• Intuitive meaning of the axioms
• Contradiction lemma
• [ ]

---

Related posts

• [[Course - Logic and Proof MT24]]^U

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

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

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

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

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

  (incoming)
• [[Course - Artificial Intelligence MT24]]^U

  (sim: 0.646)
• [[Courses MT23]]^U

  (sim: 0.614)