Deductum - Steam Charts & Historical Stats
Minimalistic puzzle game where you build formal logical proofs. Explore historical player activity and pricing for Deductum. Player-count data was last observed Apr 30, 2026.
Media Gallery
Screenshots
Videos
Gameplap
Game Insights
Buy Verdict
Decent deal at 0% off, but might drop further. Watch for better opportunities.
Value Score
Price-to-player ratio ranks in the 50th percentile.
Price History
System Requirements
- Requires a 64-bit processor and operating system
- OS: 7
- Processor: x86-64
- Memory: 2 GB RAM
- Graphics: Full OpenGL 3.3 support or Direct3D 11 support
- DirectX: Version 11
- Storage: 200 MB available space
- Requires a 64-bit processor and operating system
- OS: Released after 2016
- Processor: x86-64
- Memory: 2 GB RAM
- Graphics: Full OpenGL 3.3 support
- Storage: 200 MB available space
Additional Information
Current Pricing
Additional Information
Developer Analytics
Loading competitors...
About This Game
Minimalistic puzzle game where you build formal logical proofs.
Detailed Description
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!