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
