Introduces students to modern symbolic logic, including both propositional logic translation and proofs and predicate logic translation and proofs. Topics include recognizing arguments, translating from a natural to a formal language, validity of arguments, logical implication, equivalency, and consistency. Prerequisite: Math 097 with a grade of 2.0 or higher, or eligible for Math &107 or higher. 

This course provides an alternate pathway for non-STEM students to satisfy the Quantitative and Symbolic Reasoning (QSR) or Natural Science List B requirements for the AA degree.