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
,
,
,
,
Applied Minors