Modus Ponens
modusponens.app
Prove propositions in a map of rooms to light them up, assuming premises inside hypotheticals and splitting cases at forks, under logic where excluded middle fails.
- New puzzle
- DailyReset time not published
- Category
- Math & Logic
- Price
- FreeNo account needed
- Plays on
- Web browserIn the browser, nothing to install
- Site
- modusponens.app
- Link checked
- Nov 4, 2026
