CSC125 Logical and Computational Thinking
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.