Back to search results

Introduction to Logic

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.

Back to search results
Session One
Accepting Applications
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.