MATH 111 : Symbolic Logic

This course, which requires no specific mathematical background, introduces valid deductive reasoning in a precise mathematical context. Students will learn formal languages encompassing elementary propositional and predicate logic, and techniques for assessing the validity of arguments expressible in those languages. Logic is foundational to mathematics, philosophy, and computer science, and indispensable in any reasonable debate.

Overview

GE Area/Program

Subject

Mathematics

Units

3