Note Generally, this course is taught every semester, although I generally teach a section only in the fall semester.
Prerequisite none
Brief
Description

Introduction to Symbolic Logic. Two logical systems are examined:

(1) Sentential Logic
(2) Predicate Logic

Work is equally divided between:

(1) translating English sentences into symbolic notation;
(2) constructing formal derivations.

Classroom Thompson 106
Time Tu Th 1:00 - 2:15