Link Steam
indiegame.fan
Deductum header art

Deductum

Minimalistic puzzle game where you build formal logical proofs.

Steam Page
Developer
nonpop
Publisher
nonpop
Release
August 5, 2025
361 days ago
Steam Reviews
9 user reviews9 reviews88.9%

Does this feel indie?

Vote based on whether this game feels indie to you. You can change your vote at any time. Results earn an IGF score after 10 accepted votes.
No votes yet
Vote on More Games
Game contextLatest: IGF Team
ContextThe evidence factors used to assess whether this game belongs on IndieGame.Fan.Status
Notes
Latest Contributor: IGF TeamEdit notes
Search Google: Who developed Deductum?Developer scaleThe operating scale of the game's developer.
Search Google: Who published Deductum?Publisher scaleThe operating scale of the game's publisher.
Search Google: Is Deductum self-published or published by nonpop?Publisher statusHow the game's publishing relationship is classified.
Search Google: How is Deductum and nonpop funded?FundingThe known source of funding behind the game.
Search Google: Who controls the creative direction and IP for Deductum and nonpop?Creative controlWho appears to retain creative control of the game.
Search Google: What is the release status of Deductum?Release statusWhether and how the game has been released.

Media

6 items

About the 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!

Indie Game Fan