Matteo de Ceglie

Myself up the Mönchsberg.

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