Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

Create a free account to open Differential forms. The free chapters of Advanced Multivariable Calculus stay readable without one.

logic

Translating "if and only if" and its variants

taught

Symbolize "if and only if," "just in case," and "exactly when" as a biconditional.

Taught in

If and only if, and longer sentences
Introduction to Logic

Requires

if-versus-only-if required
symbolize-the-biconditional required

Required by

Translating longer sentences with nested connectives required

Local knowledge map

Local knowledge map

Click to expand

Solid arrows are required prerequisites; dashed are recommended or helpful. Lower rows are more foundational. Click any box to jump to that concept.