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