This course is an introduction to Symbolic Logic. It shows how to encode information in the form of sentences in Symbolic Logic; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications -- in mathematics, science, engineering, business, law, and other fields. Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic, validity, contingency, unsatisfiability, logical equivalence, entailment, consistency, natural deduction (Fitch), mathematical induction, resolution, compactness, soundness, completeness.
Introduction to LogicMathematics
at the time of application
on the first day of session
Completion of an algebra course, as well as comfort with concepts of sets and set operations, such as union and intersection.