Quod Erat Demonstrandum

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