This class is an introduction to elementary, formal logic.  Topics include the concepts of
argument and validity, translating, or symbolizing, arguments in prepositional logic,
analyzing sentences and arguments via truth tables, constructing formal proofs in
prepositional logic, symbolizing arguments in predicate logic, diagramming arguments,
and constructing formal proofs in predicate logic.  The emphasis of the class is on
problem solving.

There will be regular quizzes, homework assignments, and exams.  Each of the three will
count one-third of the final grade.