All Games
A 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.
modusponens.app ↗
Played Today: 1
Play Now
Log Today's Result
Today's chatter (0)
Log today's result to read what people are saying — no spoilers before you've played.
