An introductory course in formal logic, which focuses on Modern Symbolic Logic, including derivations and trees in propositional and first-order predicate logic and tests for logical truth, equivalence, and consistency. This course may be used to satisfy the Honours Specialization in Philosophy logic requirement.