P505 | 9378 | Allwein

This course presents a survey of modern symbolic logic, i.e., prepositional, and first order predicate logic. Natural deduction proof methods will be used, with a brief introduction to Hilbert style axiomization. The model theory of these logics will be investigated, leading to soundness and completeness proofs for first order logic. Additional topics will be covered as time and interest permit and include compactness, Lowenheim-Skolem theorem, and proofs by induction.