Introduction to Deductive Logic

Catalog description

An introductory course in the methods and principles of deductive reasoning. Focus on the symbolic representation of truth-functional statements, determining validity of deductive arguments, and demon- strating validity of deductive arguments through formal proofs. Includes sentential logic and predicate logic.