HUM150 Logic
This course provides an introduction to propositional logic, including truth tables, truth trees, and natural deduction, with an emphasis on the application of logic to the evaluation of arguments expressed in natural language. This course also covers full first-order predicate logic, with an emphasis on logical evaluation of arguments expressed in natural language. First-order logic topics include translation, truth trees, deduction trees, sorted logic, identity, and modal operators.
This class may be offered in a traditional, blended, or online format.