Skip to content
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

🧩 Challenges · Introduction to Logic

Build it, break it, predict it, or recall it. Pick a challenge and prove you've got it.

You're previewing the Arcade. Log in or create an account and enroll to keep your XP and personal bests.

truth table bad row

debug

proof bad line

debug

predict true rows

predict

predict countermodels

predict

recall connective tables

recall

recall conditional table

recall

recall truth table row count

recall

recall named forms

recall

recall categorical statement types

recall