Deductum

Logic and Challenge Await in Deductum

In Deductum, a minimalistic puzzle game for PC, players confront a series of logical challenges that require critical thinking and reasoning. With a set of premises and a conclusion presented, your task is to methodically prove that the conclusion logically follows. Every player can enjoy this engaging brain-teaser, whether a novice in logic or a seasoned thinker.

Step-by-Step Proofs Take Center Stage

The game teaches the intricacies of formal proofs through a gradual introduction to its mechanics. Early levels present simpler challenges to help players acclimate. As you progress, the puzzles become increasingly complex, demanding deeper logical analysis to arrive at a solution. You'll encounter classic theorems like De Morgan's Laws and the Law of the Excluded Middle, ensuring that even seasoned logicians find something to ponder.