Casual · 2026
Quod Erat Demonstrandum
Quod Erat Demonstrandum is a logic-based puzzle game that challenges players to construct step-by-step proofs using propositional and predicate logic. Players start with basic premises and apply 23 rules of inference and replacement—including Modus Ponens, De Morgan’s Laws, and quantifier transformations—to reach the final conclusion. The game features over 120 handcrafted levels, ranging from simple one-step deductions to complex chains requiring 10 or more steps. Early tutorial levels introduce each rule gradually, ensuring a smooth learning curve while later stages push players with nested quantifiers and multi-variable domains. An intuitive drag-and-drop interface lets you place propositions and rules to build your proof visually. Every level offers an optimal solution path, encouraging efficiency and mastery. With 60+ Steam achievements, including challenges for rule mastery and completionists, the game rewards thoroughness. Save your progress to the cloud and enjoy a seamless experience across devices. Quod Erat Demonstrandum blends deep logic training with engaging jugabilidad for thinkers who love to reason their way to truth.