Link Steam
indiegame.fan
Quod Erat Demonstrandum header art

Quod Erat Demonstrandum

Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain predicate calculus. Prove yourself to be a master of logical thinking!

Steam Page
Developer
Ad Dominum Games
Publisher
Ad Dominum Games
Release
Coming Soon
Steam Reviews
No reviews yet

Does this feel indie?

Vote based on whether this game feels indie to you. You can change your vote at any time. Results earn an IGF score after 10 accepted votes.
No votes yet
Vote on More Games
Game contextLatest: IGF Team
ContextThe evidence factors used to assess whether this game belongs on IndieGame.Fan.Status
Notes
Latest Contributor: IGF TeamEdit notes
Search Google: Who developed Quod Erat Demonstrandum?Developer scaleThe operating scale of the game's developer.
Search Google: Who published Quod Erat Demonstrandum?Publisher scaleThe operating scale of the game's publisher.
Search Google: Is Quod Erat Demonstrandum self-published or published by Ad Dominum Games?Publisher statusHow the game's publishing relationship is classified.
Search Google: How is Quod Erat Demonstrandum and Ad Dominum Games funded?FundingThe known source of funding behind the game.
Search Google: Who controls the creative direction and IP for Quod Erat Demonstrandum and Ad Dominum Games?Creative controlWho appears to retain creative control of the game.
Search Google: What is the release status of Quod Erat Demonstrandum?Release statusWhether and how the game has been released.

Media

6 items

About the Game

Every argument begins with set of premises that, if true, necessitate some conclusion. Your task is to prove that the conclusion does indeed follow.

Given a set of premises, apply rules of inference and replacement to derive new propositions — step by step — until you reach the conclusion. Each level is a proof waiting to be completed.

As a newly aware intelligence, each proof explores themes of being and essence, virtue, the soul, causality, and the pursuit of truth. Simply put, you are a mind reasoning its way from first principles toward understanding.

Features

  • 120+ handcrafted levels spanning propositional logic and predicate calculus, levels varying both thematically and mechanically

  • 23 rules of logic — 7 rules of inference (Modus Ponens, Modus Tollens, Hypothetical Syllogism, and more), 11 rules of replacement (Double Negation, De Morgan's Laws, Transposition, and more), and 5 quantifier rules (Universal/Existential Instantiation and Generalization, Quantifier Negation)

  • Gentle learning curve — 18 tutorial levels introduce one rule at a time, building from simple one-step proofs to multi-step chains

  • Deep complexity — later levels feature nested quantifiers, multi-variable domains, and proofs requiring 10+ derivation steps

  • Intuitive drag-and-drop interface — slot propositions into rules, see the result, and build your proof step by step

  • Par system — every level has an optimal solution length; can you find the shortest proof?

  • No time pressure — think as long as you need; every proof waits for you

  • 60+ Steam achievements — milestones, rule mastery challenges, and hidden achievements for completionists

  • Cloud saves — pick up where you left off on any machine

Indie Game Fan