The Philosophy Department offers Philosophy 110 every semester,
although I usually teach it only in the fall.

I am offering it Fall 2023.

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.