This product was not featured by Product Hunt yet. It will not be visible on their landing page and won't be ranked (cannot win product of the day regardless of upvotes).
Product upvotes vs the next 3
Waiting for data. Loading
Product comments vs the next 3
Waiting for data. Loading
Product upvote speed vs the next 3
Waiting for data. Loading
Product upvotes and comments
Waiting for data. Loading
Product vs the next 3
Loading
Modus Ponens
Light every room you can prove. A pure logic puzzle.
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.
I created a puzzle game that literally mirrors the natural deduction of intuitionistic propositional logic, but you don't need to be a logician to play it, nor do you need to know formal logic.
The goal of the game is to figure out which shapes can be "lit up" and find a way to do so, which is secretly just the representation of a theorem proof: the shapes are propositions, their contours are connectives, and the light represents truth.
With every solved puzzle, you earn a score and receive the proven logical formula as a badge.
You can play in Classic mode (random puzzles of varying difficulty) or Daily mode (one curated puzzle per day).
Have fun!
About Modus Ponens on Product Hunt
“Light every room you can prove. A pure logic puzzle.”
Modus Ponens was submitted on Product Hunt and earned 0 upvotes and 1 comments, placing #154 on the daily leaderboard. 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.
On the analytics side, Modus Ponens competes within Puzzle Games and Free Games — topics that collectively have 13.3k followers on Product Hunt. The dashboard above tracks how Modus Ponens performed against the three products that launched closest to it on the same day.
Who hunted Modus Ponens?
Modus Ponens was hunted by Marco Marrone. A “hunter” on Product Hunt is the community member who submits a product to the platform — uploading the images, the link, and tagging the makers behind it. Hunters typically write the first comment explaining why a product is worth attention, and their followers are notified the moment they post. Around 79% of featured launches on Product Hunt are self-hunted by their makers, but a well-known hunter still acts as a signal of quality to the rest of the community. See the full all-time top hunters leaderboard to discover who is shaping the Product Hunt ecosystem.
For a complete overview of Modus Ponens including community comment highlights and product details, visit the product overview.
Marco Marrone