Deductum
nonpop Developer
nonpop Publisher
August 2025 Release
🎹🖱️Keyboard + Mouse
🕹️ Partial Controller Support
🎮 Full Controller Support
4 user reviews
(4 reviews)
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!
MINIMAL SETUP- OS: Released after 2016
- Processor: x86-64Memory: 2 GB RAM
- Memory: 2 GB RAM
- Graphics: Full OpenGL 3.3 support
- Storage: 200 MB available space
16.57$ (17%)
3.93$ (21%)
5.87$ (16%)
8.78$ (12%)
24.59$ (18%)
16.57$ (17%)
16.57$ (17%)
16.57$ (17%)
12.42$ (17%)
24.87$ (17%)
16.79$ (16%)
17.75$ (11%)
4.95$ (17%)
33.17$ (17%)
24.87$ (17%)
8.27$ (17%)
4.95$ (17%)
16.57$ (17%)
33.17$ (17%)
49.77$ (17%)
16.57$ (17%)
20.72$ (17%)
16.57$ (17%)
16.79$ (16%)
8.19$ (18%)
39.95$ (11%)
24.86$ (17%)
12.42$ (17%)
34.59$ (42%)
26.65$ (11%)
1.31$ (81%)
2.25$ (85%)
1.58$ (77%)
1.84$ (74%)
0.56$ (81%)
1.58$ (77%)
0.42$ (79%)
0.94$ (81%)
0.56$ (81%)
0.6$ (88%)
3.51$ (73%)
1.2$ (92%)
0.56$ (81%)
1.88$ (92%)
6.75$ (55%)
0.56$ (81%)
1.05$ (85%)
4.36$ (71%)
1.84$ (74%)
1.84$ (74%)
4.4$ (78%)
1.88$ (81%)
1.84$ (74%)
1.05$ (85%)
3.19$ (81%)
0.56$ (81%)
1.58$ (77%)
1.05$ (85%)
0.56$ (81%)
1.05$ (85%)
1.99$ (85%)
2.98$ (85%)
52.99$ (12%)
9.49$ (5%)
53.99$ (10%)
9.49$ (5%)
4.49$ (70%)
14.99$ (57%)
1.19$ (60%)
2.48$ (75%)
2.49$ (75%)
1.99$ (82%)
65.99$ (6%)
1.99$ (80%)
3.49$ (65%)
18.99$ (24%)
2.48$ (75%)
1.19$ (88%)
0.99$ (75%)
5.99$ (70%)
1.69$ (72%)
1.09$ (86%)
67.19$ (16%)
15.89$ (21%)
1.19$ (91%)
44.99$ (10%)
15.99$ (20%)
2.98$ (80%)
1.99$ (90%)
2.99$ (75%)
FANATICAL BUNDLES

Time left:
356233 days, 17 hours, 10 minutes

Time left:
356233 days, 17 hours, 10 minutes

Time left:
5 days, 0 hours, 10 minutes

Time left:
10 days, 0 hours, 10 minutes

Time left:
23 days, 0 hours, 10 minutes

Time left:
4 days, 0 hours, 10 minutes

Time left:
10 days, 0 hours, 10 minutes

Time left:
19 days, 0 hours, 10 minutes

Time left:
29 days, 0 hours, 10 minutes
HUMBLE BUNDLES

Time left:
3 days, 18 hours, 10 minutes

Time left:
5 days, 18 hours, 10 minutes

Time left:
10 days, 18 hours, 10 minutes

Time left:
12 days, 18 hours, 10 minutes

Time left:
23 days, 18 hours, 10 minutes
by buying games/dlcs from affiliate links you are supporting tuxDB
🔴 LIVE
visualvengeance
Dead by Daylight
itsy bitsy spider goes on an adventure in the FOG!!!!!!! \o/
darkphan
Minecraft
Society: Sunlit Vally / CCI! / Sub Goal = 12 hour stream and a late ni...
TecKnowFreak
Wow Windows Sucks! Tried testing it again crap! Elite stuff! OpenChat...
Linux Quick Tips
Linux Gaming Live | Combat Master Gameplay on Linux (Native) | Linux Q...
goseigen
Magic: The Gathering
Commander Building and Testing
yiffweed
Factorio
Birthday stream? Well sure, but it's gonna be Factorio of course...
itsj0mi
The Surge
Blind Playthrough | One more shift |Day 5
carolineofmaine
Always On
Music, Mammoths and Gaming! classical, country, rock, techno, jazz, b...
luchec0
Big Ambitions
sonDeCaisseEnregistreuse.ogg
trueluggen
Software and Game Development
Compute Lab: Continue implementing the generic preprocessor
zangoku
Counter-Strike
[EN/FR] Some CS then Div2 | !kick
hlcar88
MS Saga: A New Dawn
Rejoicing Jesus Christ who saves and gives eternal life ; other topics...
pantherfarber
No Man's Sky
Sky Cat - No Mans Sky - Let's find ship parts - Talk with Spotty ...
jimpy3
Elite: Dangerous
PC : Chill Exploring :D