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.
