Logic Bootcamp

The Prerequisite course for Elements Year One. The propositional calculus is introduced. The language includes propositional variables representing sentences with discernible truth values and connectives representing “not”, “and”, “or” (inclusive), “implies”, and the bi-conditional. The truth values of formulas built using variables and connectives are discerned through the use of truth tables. Students are introduced to the idea of contradiction and tautology and substitution. They also learn to recognize complex instances of simple tautologies as tautologies, without the use of truth tables. * Must take admissions exam ** Must complete OS course prior to taking Logic Bootcamp

This is a half-day virtual program. Exact times to be announced.