Lecture notes
contents
Course overview
- Book → Logic in action (free online)
- Exam and grading → 1 closed book written exam
- Core concepts
- Syntax → language used to express information
- Semantics → specification of when a statement is true in the world
- Proof system → procedure that enables us to draw valid iferences
Key takeaways
- a