Modus Ponens
modusponens.appA puzzle game turning logic into visual mechanics: find the right combinations to light up shapes. Contours represent connectives, and light means truth. Solving a puzzle is secretly proving a theorem, unlocking the proven logical formula as a badge. Enjoy random or daily challenges.

Modus Ponens
Logic & Math
How to play Modus Ponens
A minimalist puzzle game of intuitionistic logic. Every room is a proposition: light it by proving it. A new daily puzzle, a classic mode with eight levels of difficulty, and a guided how-to.
The facts
- Runs on
- modusponens.app
- Category
- Logic & Math
- Languages
- English
- How often
- A new puzzle every day
- On BoreGame since
- September 2026
- Last updated
- October 9, 2026
- Price
- Free, no signup
Questions about Modus Ponens
How do you play Modus Ponens?
A minimalist puzzle game of intuitionistic logic. Every room is a proposition: light it by proving it. A new daily puzzle, a classic mode with eight levels of difficulty, and a guided how-to.
Where can I play Modus Ponens?
On modusponens.app. You can also start it from this BoreGame listing.
How it compares
If you play Modus Ponens, the closest things to it in the catalogue are Fermi Unlimited, RNGdle and Shikaku of the day. They sit in the same logic & math category. See the full list of alternatives.







