Study of syntax and semantics of sentential and first-order logic. Symbolization of natural-language sentences and arguments. Development of deductive systems for first-order logic. Metatheoretic proofs and methods, including proof by mathematical induction and proof of consistency and completeness.
prereq: 1001 or instr consent