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