Symbolic Logic. (3 h)

Introduces propositional and predicate logic, including identity and functions. Construction of proofs. Use of models to demonstrate consistency and invalidity. Application of these techniques to the assessment of arguments expressed in ordinary language.