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