PHL.1029 Introduction to Symbolic Logic

This course is an introduction to elementary first-order and second-order symbolic logic, and focuses on increasing the student's skill at reasoning which makes use of words such as: if, and, not, each, any, all and some.