QED

A short interactive text on propositional logic by Terence Tao, arranged like a computer game with sections and exercises you solve step by step.

Tonble
Share X Reddit Bluesky Email
Screenshot of math.ucla.edu

Stumble onto more like this

One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.

Add to Browser — it's free

Works in Chrome, Edge and Brave. No account needed.