An introduction to modern formal logic using propositional logic and first-order predicate logic. Formal logic provides an important link between the humanities and maths and sciences, particularly computer and information sciences.
Requirements
Prerequisite(s): General Prerequisite: At least 45 credits from 100 level
