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.

By the end of this course, students will be able to...

1. Distinguish key concepts and terms in logic.

2. Translate from English to the language of propositional and predicate logic.

3. Construct truth tables to reveal the logical structure of individual statements, multiple statements, and determine the validity of an argument.

4. Construct proofs in propositional and predicate logic.