Course - Logic MT24

• Course Webpage
• Lecture Notes
• Related:
  • [[Course - Set Theory HT25]]^?
  • [[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
• [[Notes - Logic MT24, Proofs in first-order logic]]^U
• [[Notes - Logic MT24, Isomorphisms of structures]]^U
• [[Notes - Logic MT24, Axiomatisations]]^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
• Should be consistent in style about “first order” vs “first-order”
• Refactor e.g. compactness theorem into separate entry
• Examples of specific proofs in $L _ 0$ and $K(\mathcal L)$
• Explicit example of a $\mathcal L$-theory which is not witnessing?
• Clean up repeated statements and proofs in the crossover of [[Notes - Logic MT24, Proofs in first-order logic]]^U and [[Notes - Logic MT24, Proofs in propositional logic]]^U
• Intuitive explanation for Lemma 9.10
• “a $\mathcal L$-structure” or “an $\mathcal L$-structure”
• Should be careful to specify that $\mathcal L$ is a countable first order language
• Go over problem sheet solutions