Summer 2015 Session A
|12A||Introduction to Logic||Kocurek||TuWTh 1-3:30||103 Moffitt|
An introduction to formal logic and deduction. The course is focused around formalizing arguments, recognizing common argument forms, and systematically testing whether an argument is logical valid. We will cover the syntax, semantics, and proof techniques for propositional and first-order logic. Topics include formalization techniques, truth tables, natural deduction proofs, quantification, and model construction.