Symbolic Logic

Catalog description

This course explores techniques in logical analysis using both philosophical and mathematical processes. Students will focus on constructing and evaluating deductive arguments, engage in symbolic translation, recognize formal argument forms, use truth-tables to analyze statements and arguments, conduct proofs, and learn and apply the rules of sentential and predicate logic.