Undergraduate Catalog 2014-2015 > Undergraduate Course Descriptions > PHL - Philosophy > 20000 > PHL 21600
(GE-Math) This is a course in Modern Symbolic Logic. It will cover translation, propositional logic, predicate logic, natural deduction, quantification, and identity.