Philosophy

PHIL3101Introduction to Symbolic Logic3 ch (3C)

The techniques of natural deduction, including conditional proof, indirect proof and separation of cases. Emphasizes applications in sentence logic and in the logic of quantification up to the logic of relations.

Prerequisite: PHIL 1101 or an equivalent with permission of the instructor.