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

🧠

Tautology, Equivalence & Inference Sprint

Classify a formula as tautology/contradiction/contingency, check two formulas for logical equivalence, or judge an argument's validity.

⏱️ 90s

▶ Log in to play

← Back to the arcade