LOGICAL REASONING AND PROBLEM SOLVING

This course introduces symbolic logic, including sentential and predicate logic. Its purpose is to familiarize the student with certain formal methods for representing and evaluating arguments and inferences. The methods you will learn are highly abstract, formal and symbolic. Students will also explore problem solving strategies with an emphasis on deductive reasoning. The units of study include (1) argument basics and truth values, (2) truth tables, (3) argument proofs, (4) venn diagrams, (5) logical fallacies, (6) cryptography, and (7) problem solving