CS 130: Symbolic Logic

Cross Listed

MATH 130 and PHIL 130

Credits 3
Attributes
,
,
,
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.