Modus Ponens
Light every room you can prove. A pure logic puzzle.
Details
- External ID
- 1261337
- Source
- PH
- Company
- —
- Product
- Modus Ponens
- Website domain
- producthunt.com
- Launched
- Sept. 26, 2026
- Cohort
- —
- Upvotes
- 1
- Upvotes percentile
- 0.30815693820825313
- Tags
- Puzzle Games, Free Games
- Fetched at
- Sept. 28, 2026, 1:01 a.m.
- Updated at
- Sept. 28, 2026, 1:01 a.m.
Description
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.
Enrichment
- Theme
- indie puzzle games and learning toys
- Vertical
- Media & entertainment
- Function
- —
- Audience
- B2C
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- logic puzzle game based on mathematical proofs
- Manually corrected
- False
Could you build this?
Yes The discrete logic rules, daily puzzle state generation, and minimalist UI can easily be implemented using standard web technologies and straightforward propositional logic algorithms.
Competitors
Other products that read as similar to this one — 35 launches clear the similarity bar, closest 8 shown.
Attention rank: #20 of 36 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 294 days after the earliest competitor.
- ZAP: Light the Grid (Puzzle Game) · ph · 2026-09-10 · 1 upvotes · similarity 0.43
- FALLMATCH · ph · 2026-09-22 · 2 upvotes · similarity 0.43
- Trail · hn · 2026-09-27 · 31 upvotes · similarity 0.42
- Trail, a New Logic Game · hn · 2026-09-16 · 5 upvotes · similarity 0.41
- IQ Riddle Games: Logic Puzzle · ph · 2026-09-29 · 3 upvotes · similarity 0.41
- Nimblins · ph · 2026-09-10 · 1 upvotes · similarity 0.39
- My attempt to formalize "Buddhist" reality · hn · 2026-01-15 · 5 upvotes · similarity 0.37
- Puzzle of box · ph · 2026-09-21 · 1 upvotes · similarity 0.36
Other launches for this product
- No other launches for this product.