**Lectures: weeks 5-8.**

The core EDL lectures in weeks 5 to 8 will cover the aspects of the metatheory of propositional logic specified in the Grey Book; these will be supplemented by two additional sessions, reviewing strategies for constructing metatheoretic arguments and selected material covered in the Logic Manual.

*The complete handout for all lectures (with selected proofs left as exercises filled in) may be found here [.pdf, new window]*

**Tuesdays, 12, Lecture Room, Radcliffe Humanities.**

The schedule is as follows:

**Week 5: Expressive Adequacy and Interpolation. **Handout. [.pdf, new window.]

DNF and CNF, DNF- and CNF-theorems; applications to expressive adequacy; interpolation theorem.

**Week 6: Substitution and Duality. **Handout.

Uniform substitution; substitution theorem; duality.

**Week 7: Compactness. **Handout.

Compactness theorem; applications.

**Week 8: Soundness and Completeness. **Handout.

Review of natural deduction; soundness theorem; consistent and maximal consistent sets; completeness theorem.

**Additional session A.**** **(Friday, 11, Week 5, Lecture Room.)** **Handout.

Review of the semantics of L_{1}; review of metatheoretic reasoning (e.g. induction on complexity).

**Additional session B. **(Friday, 11, Week 7, Lecture Room.)** **Handout.

Review of the semantics of L_{2} and L_{=}; relations.

** **