Breadcrumb Home Philosophy PHIL 130 PHIL 130: Symbolic Logic Download as PDF Cross Listed CS 130 MATH 130 Program Philosophy Credits 3 Attributes Humanities Division 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.
