Overview
Deductum is a minimalist puzzle game developed and published by nonpop, designed to challenge players with the fundamental rules of logic. In this title, you are presented with a set of premises and a conclusion. Your objective is to meticulously construct a formal proof, step by step, demonstrating how the conclusion logically follows from the given premises.
Highlights
- Core Gameplay: Deductum focuses purely on logical deduction, offering a clean, text-based 2D experience with simple controls and no timers or distractions.
- Content: The game features 111 problems to solve, including classic theorems such as De Morgan's Laws and the Law of the Excluded Middle, providing a comprehensive introduction to proof construction.
- Learning Experience: With integrated tutorials, players are guided through the world of proofs and the game's mechanics, starting with simple problems and gradually increasing in difficulty.
Who It's For
This game is ideal for players who enjoy logic puzzles, educational experiences, and a minimalist aesthetic. It's perfect for anyone looking to sharpen their deductive reasoning skills or learn the basics of formal logic in an engaging and accessible way. The lack of timers and distractions makes it suitable for a relaxed yet mentally stimulating session.
Game Info
Deductum is a paid title released on August 5, 2025. It supports English and is categorized under Puzzle, Casual, Logic, Education, Tutorial, and 2D genres. The game also features multi-player capabilities, Steam Achievements, and other Steam features. Developed and published by nonpop, it offers a unique challenge for those who appreciate the elegance of logical reasoning.
