Deductum game banner

Deductum

$4.99
Release Date:
Developer:
nonpop
Publisher:
nonpop
Platforms:
Windows Linux
Download Game

Game Tags

About This Game

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!

Screenshots

User Reviews

Overwhelmingly Positive
3 user reviews
100%
Positive
1 hrs at review
Recommended

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 s...

1 hrs at review
Recommended

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.

System Requirements

Minimum

Minimum:
  • 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

Recommended

Recommended:
  • Requires a 64-bit processor and operating system

FAQ

How much does Deductum cost?

Deductum costs $4.99.

What are the system requirements for Deductum?

Minimum: Minimum: 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 Recommended: Recommended: Requires a 64-bit processor and operating system

What platforms is Deductum available on?

Deductum is available on Windows PC, Linux.

Is Deductum worth buying?

Deductum has 100% positive reviews from 3 players.

When was Deductum released?

Deductum was released on Aug 5, 2025.

Similar Games

AI-powered recommendations based on game description