## 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