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).
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!
No comment highlights available yet. Please check back later!
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.
Modus Ponens was featured in Puzzle Games (4.3k followers) and Free Games (9k followers) on Product Hunt. Together, these topics include over 11.7k products, making this a competitive space to launch in.
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.
Want to see how Modus Ponens stacked up against nearby launches in real time? Check out the live launch dashboard for upvote speed charts, proximity comparisons, and more analytics.
Marco Marrone