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

logic

Scope and parentheses

taught

Read the scope of each connective from the brackets, with negation applying to the smallest sentence after it.

Taught in

Scope and parentheses
Introduction to Logic

Requires

well-formed-formulas required

Required by

Finding the main connective required
Precedence conventions and removing them with brackets 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.