This course serves as an overview of the basic elements of logic and a deeper treatment of logic as a deductive science. Students are expected to analyze statements and arguments in ordinary language and symbolic form, to translate statements and arguments from ordinary language into symbolic form, to use truth tables in the analysis of arguments and the classification of statements, and to use techniques of natural deduction to construct proofs of arguments in propositional and predicate logic. C21:NS,QS.