Loading…
Minimalistic puzzle game where you build formal logical proofs.
Price history tracked since Jul 7, 2026 · vs all tracked offers.
Based solely on tracked price history — not purchase advice.
Tracked since Jul 7, 2026.
Steam Train Fest starts Jul 20, 2026
Official stores with direct support.
Try this game before buying.
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!
Right now the cheapest offer for Deductum is PLN 22.99 at Steam. KingsPrice compares 1 offers from 1 stores — official stores and keyshops — and refreshes prices throughout the day.
The lowest price KingsPrice has tracked for Deductum is PLN 5.74 (recorded on Jul 7, 2026). This covers the stores and period we monitor — set a price alert to catch the next drop to that level.
Create a free price alert on this page and KingsPrice will email you when Deductum drops below your chosen price. The biggest discounts usually appear during seasonal Steam sales and publisher promotions — the sale calendar on this page shows the next confirmed event.
