Games likeDeductum Aug 5, 2025
Minimalistic puzzle game where you build formal logical proofs.
83%
6 user reviews6 reviews
Check on IsThereAnyDeal
We are not affiliated with IsThereAnyDeal.
In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows.
Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!
•
Simple controls. No timers. No distractions. Just logic.
•
111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle
•
Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!
Languages
Steam data © 2025 Valve Corporation. Steam and the Steam logo are trademarks and/or registered trademarks of Valve Corporation in the U.S. and/or other countries. Independent of Valve. Pricing and availability subject to change.
In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows.
Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!
•
Simple controls. No timers. No distractions. Just logic.
•
111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle
•
Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!
Minimalistic puzzle game where you build formal logical proofs.
83%
6 user reviews6 reviews
Steam StoreView on Steam
$4.99
Check on IsThereAnyDeal
We are not affiliated with IsThereAnyDeal.
Similar Games
We're still analyzing “Deductum” to find similar games. Check back soon!