A Little Logic?

Logic2030: guided lessons and practice in propositional, predicate, and modal logic.

Loading…

Practice

✓

Want to keep your progress across devices?

Optional. Also keeps your progress if you clear browser data.

Keep going at your own pace. One small lesson at a time.

Loading practice…

15 proofs in your chosen logic · No help

Speedrun logic type

Untimed exercises · No help

Leaderboard logic type

Loading times…

Preparation lessons

20 mixed questions in Blue Book mode. Earn a star with 90% (18 correct answers).

No in-app help. Each answer is final when submitted; your score appears at the end. You can pause and resume, and retake a finished test.

v1.001

Save your progress across devices. Your first sign-in creates your account.

If I already have an account, add this guest’s progress to it

New accounts keep this guest’s progress automatically.

Signed in as .

Progress settings

This permanently clears your exercise results, XP, streaks, unfinished work, and skill check. Your account and challenge records stay.

This cannot be undone.

Symbol reminder

Letters take their meaning from the key in each exercise.