PHL 21600 Modern Symbolic Logic

(GE-Math) This is a course in Modern Symbolic Logic. It will cover translation, propositional logic, predicate logic, natural deduction, quantification, and identity.

Credits

3

Offered

Spring semester only.