General Readings
Notes and exercises
Week 1: Introduction and Arguments
Week 2: Translations to propositional logic
Week 3: Propositional logic syntax and truth tables
Week 4: Propositional logic semantics
Week 5: Natural deduction for minimal logic
Week 6: Natural deduction for propositional logic
Week 7: First order logic syntax
Week 8: First order logic models
Week 9: First order logic semantics
Week 10: Natural deduction rules for first order logic
Week 11: Natural deduction derivations in first order logic
Week 12: Recap session
Week 13: Final exam