Analyses of arguments with an emphasis on formal
analysis. Propositional and predicate calculus,
deductive techniques, and translation into
symbolic notation.