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.