The study of formal, deductive logic emphasizing the methods for demonstrating the validity of arguments. Includes truth functional propositional logic and quantification theory through the logic of relations.
MATH 130: Symbolic Logic
Cross Listed
CS 130, PHIL 130
Program
Attributes
Alternate Year,
Appropriate for First-year Students,
Natural Sciences Division