Logic

(4 Credits)

An introduction to the basic techniques of sentential and predicate logic. Students learn how to put arguments from ordinary language into symbols, how to construct derivations within a formal system, and how to ascertain validity using truth tables or models.