PY204
 Formal Logic
 0.5
An introduction to first order logic, including the propositional
calculus and quantification theory. The basic notions studied are
consistency, validity, proof, truth, and counter-example. The
relationship between natural language and formal logic will be
discussed.