Symbolic Logic

Undergraduate

177 Winter 2027 Undergraduate Calendar The course covers propositional logic as well as an introduction to the basic concepts of predicate logic. Topics include the construction of symbolic representation of natural language sentences, semantic methods for evaluating symbol formulas, and methods of constructing deductions or proofs. (Prerequisite: Semester 3 or above standing, or permission of the instructor. Antirequisite for non- Philosophy majors: COMP-2310, MATH-1020.)