PHIL 240 – LEC 0.50 – Course ID: 007285 – Introduction to Formal Logic

An examination of classical propositional logic, covering proof methods, expressive completeness, soundness, and completeness. Also introduction to quantificational logic. Prereq: Not open to students in the Faculty of Mathematics. Antireq: PHIL 140