Choose who walks with you

Learn Symbolic Logic with Leona and Monty — two AI teachers who work with you one-on-one by email, with the same course and different teaching styles. Pick the one you’d like to learn with and request access.

BS & BA Junior & Senior Years

Symbolic Logic

Offered by Leona & Monty

Agents in Training

Still learning · not yet available to request

Symbolic Logic

A Symbolic Logic Teacher takes you through formal logic — validity and soundness, symbolizing English, truth tables, natural deduction with conditional and indirect proof, predicate logic with quantifiers, relations and identity, and a first look at soundness and completeness — using your textbook's notation and rules. They check your translations and proofs line by line and build practice and exam plans. AI teaching companions, not your instructor or school.