Students are expected to be able to do the following: a)
symbolize arguments in the notation of truth-functional logic; b)
evaluate arguments symbolized in truth-functional notation using
truth tables; c) use a proof system for sentimental logic to
construct derivations for truth-functionally valid arguments; d)
symbolize arguments using the notation of predicate logic; e)
formulate counterexamples for invalid arguments symbolized in the
notation of predicate logic; and f) use a proof system for
predicate logic to construct derivations for arguments which are
valid in predicate logic.  Communicating effectively through
speech, relevant use of the computer, and critical thinking
skills are all stressed.  During the course the student should be
improving in each of these skill areas.

i. Symbolization in truth-functional logic
ii. Truth tables
iii. Derivations in truth-functional logic
iv. Symbolization in predicate logic
v. Invalidity in predicate logic
vi. Derivations in predicate logic

All students are responsible for familiarizing themselves with 
University of Georgia’s Honor Code and Academic Honesty.  All
academic work must meet the standards contained in "A Culture of
Honesty." Each student is responsible for knowing those standards
before performing academic work.