PHL* 135 Symbolic Logic

Credits: 3

The course is an introduction to symbolic logic. Students learn the propositional calculus but focus on quantification theory. The basic principles of valid reasoning, including practice in the application of various techniques of analysis, is reviewed. Students learn how mathematical systems and other formal systems are structured, and they learn strategies for analyzing problems.
TAP Competency: Critical Analysis & Logical Thinking