Quod Erat Demonstrandum

Logic as a Playground in Quod Erat Demonstrandum

In Quod Erat Demonstrandum, players engage with a world structured by logic and reasoning. Set on the PC platform, this game challenges your critical thinking skills as you navigate through a series of premises that demand sound conclusions. Each level presents a proof that requires you to meticulously apply rules of inference and replacement, guiding your way through the complexities of logical reasoning.

Explore the Depths of Formal Logic

As you unravel the intricacies of propositional logic and predicate calculus, the game offers over 120 handcrafted levels. The journey varies both thematically and mechanically, immersing you in profound questions around essence, virtue, and the pursuit of truth. Problems escalate in complexity, pushing you to broaden your understanding and master increasingly sophisticated proofs.

A Gentle Yet Challenging Learning Curve

An 18-level tutorial paves the way for newcomers, introducing one rule at a time. Starting from simple one-step proofs, you’ll gradually transition into multi-step chains that deepen your grasp of reasoning. This gradual build-up ensures that even those less familiar with logic can find their footing in a seemingly dense subject matter while providing more seasoned thinkers with a robust challenge.

Master a Variety of Logical Rules

The game is founded on an impressive array of logical rules. You’ll engage with 23 distinct rules, including 7 rules of inference like Modus Ponens and Modus Tollens, alongside 11 rules of replacement such as De Morgan's Laws. The inclusion of 5 quantifier rules, like Universal Instantiation, enhances the depth of the gameplay. As each level demands new application of these rules, players need to think critically and strategically about how to structure their arguments.

User-Friendly Mechanics with a Clever Interface

The intuitive drag-and-drop interface allows players to slot propositions into rules easily, see immediate results, and build proofs methodically. This mechanics not only aids in understanding the process but also adds an interactive element that enhances engagement. The par system invites you to find the shortest proof, rewarding efficiency and creativity in logical deduction.

Achievements and Progress Tracking

With over 60 Steam achievements, Quod Erat Demonstrandum caters to completionists and casual players alike. The achievements range from mastering specific rules to uncovering hidden challenges that keep the experience fresh. The inclusion of cloud saves ensures that your progress can be picked up on any machine, making the game accessible anywhere you choose to dive back into the world of logical proof.

A Thought-Provoking Journey Awaits

For those ready to challenge their minds, Quod Erat Demonstrandum serves as both a puzzle game and an educational tool. The combination of logic-based gameplay with philosophical themes invites players to reflect on deeper questions while honing their reasoning skills. The game not only stands out in the puzzle genre but also transforms learning into an engaging activity.