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

Why formal proofs

taught

Truth tables grow exponentially and do not explain why an argument works; proofs do both jobs better for large arguments.

Taught in

Why proofs
Introduction to Logic

Requires

truth-table-test-for-validity required

Required by

Proof format: lines, premises, and citations 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.