PHILOSOP 2020
1.00 credit · Main
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.
Philosophy 2250, Philosophy 2252W/X, Computer Science 2209A/B.
2 hours.
No reviews yet - be the first.