Lecture Notes

Slides and handouts are available for selected lectures below.

LEC # TOPICS SLIDES HANDOUTS
2 Truth-functionality; introduction to sentential logic (SL) syntax and semantics; translation   (PDF)
4 Truth-tables and logical properties of compound sentences   (PDF)
9 Introduction to meta-theory; mathematical induction (PDF)  
10 Soundness of SD/SD+ (PDF)  
11 Completeness of SD/SD+ (PDF)  
13 Open sentences; free vs. bound variables; scope, multiply quantified sentences; definite descriptions; properties of relations (PDF)  
14 Identity; functions, translation to and from predicate logic (PL)   (PDF)
18 Formal PL/PLE semantics continued; review (PDF) (PDF)
22 Meta-theory: Soundness of PD, PD+, PDE (PDF)  
23 Meta-theory: Completeness of PD (This resource may not render correctly in a screen reader.PDF)  
24 Meta-theory: Completeness continued; PD+; PDE (This resource may not render correctly in a screen reader.PDF)