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
-
Applications are Closed
Grade(s)
8-9
at the time of application
Age(s)
13-15
on the first day of session
Prerequisite(s)

Completion of an algebra course, as well as comfort with concepts of sets and set operations, such as union and intersection.