Deductum

Deductum

nonpop · 2025 · Puzzle, Casual, Logic, Education, Tutorial

PC
9 user reviews89% · 9
Best price
$4.99
lowest tracked $0.99
Steam Buy at Steam

Compare prices in Official Stores

Steam
Steam
Standard Edition · Steam
$4.99
Buy

Screenshots

About Deductum

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!

What Steam players say

Recent verbatim reviews from Steam — separate from playze.io community reviews below.

Not recommended Aug 6, 2025
I really want to like this game. It's incredibly polished and snappy, but I am SO lost. I went through the entire tutorial and spent a hot second really trying to understand what each direction meant but I just don't get it. I think it would appeal to more people if the tutorial wasn't written in a highly sophisticated way because it makes me feel stupid. Even though I'm giving this a poor review i'm positive fixing a few things could make it much more enjoyable for any average joe.
5 found this helpful
Recommended Sep 13, 2025
I can't even finish the conjoiner tutorial. I keep getting stuck on the next to last problem. I've been looking for a game like this for so long, mainly because I'm so bad at this kind of thing. It feels like I've tried every possible combination of answers and I am still getting stuck in a loop. Can you please put a gameplay video on youtube so we can have a reference
2 found this helpful
Recommended Aug 27, 2025
I have bought this game as I think I would like it but in the introductory stages it appears to have a bug which displays the tool tips for the tutorial in the wrong place on the screen. Sometimes this means at least some of the text for the tutorial isn't on the screen at all. If I want to see the tutorial text where it should be I have to restart the application and continue from the same point I was. It also disables useful buttons. When it's showing a tutorial tip the button to return to the menu is disabled. Once you have the right answer it shows a rapid animation with the logic you have created but it doesn't explain what the animation is supposed to be telling you and it passes by very quickly. I am not certain of the purpose of all the blocks you are given. P ^ Q therefore P seems like a tautology to me. If you know P is true and you know Q is true then you know P is true isn't telling you anything new. I don't understand why it doesn't finish the level sometimes. If I see A ^ B therefore A then I can click its equivalent P ^ Q therefore P. So, why doesn't it end there? It gives me a new turn now with A ^ ? so I have to fill in and duplicate the premise before it so …
2 found this helpful
Recommended Aug 10, 2025
Good fun, putting the familiar logical challenge into a new interface is enough to leave you humorously confused. Very well polished. I would advise you pick it up if you already have some limited experience with boolean algebra, or if you are unfamiliar with the work but find high difficulty acceptable.
2 found this helpful
Recommended Mar 21, 2026
I'd been looking for this exact sort of game for a couple of years. I took a logic class in college and wanted a refresher. This game exceeded my expectations. It is not only a thoughtful training in semantic logic but a beautiful experience all around. Good music, graphics, even a custom font. I mean, they didn't have to but I'm thrilled that they went through all of the effort. The whole experience is polished and engaging. It's also reaching the difficulty of a logic primer college class, so if you're going to get into it, have patience with yourself. One of my personal favorites.
1 found this helpful
Recommended Aug 6, 2025
an amazing game and really interesting. feels a bit like Turing Complete in the best way. the only change i would make is add a reset button, but besides from that, perfect little puzzle game!
1 found this helpful

Community reviews

0 reviews

Sign in to write a review.

No reviews yet. Be the first to review this game.

More like Deductum