Breadcrumb Home Computer Science CS 130 CS 130: Symbolic Logic Download as PDF Cross Listed MATH 130 and PHIL 130 Program Computer Science Credits 3 Attributes ALT , AR , CRLT , NATS , 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.