PHL 21600 Modern Symbolic Logic

GE-Math [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.