Full game metadata
| Field | Value |
|---|---|
| Steam app type | game |
| Steam App ID | 4518950 |
| Live current players | 0 |
| SteamPulse tracked peak | 0 |
| Live count (today's peak floor) | 0 |
| Price | No longer available on Steam Store |
| Free to play | No current Steam offer |
| Discount | Not available |
| Original price USD | Not available |
| Current price USD | Not available |
| Release date | August 2026 |
| Developer | Ad Dominum Games |
| Publisher | Ad Dominum Games |
| Owners estimated | Not available |
| SteamSpy owner estimate minimum | Not available |
| SteamSpy owner estimate maximum | Not available |
| Review type | Not available |
| Positive review percent | Not available |
| Positive reviews | 0 |
| Negative reviews | 0 |
| Total reviews | 0 |
| Steam recommendations | Not available |
| Achievements | Not available |
| Average playtime forever | Not available |
| Windows support | Yes |
| macOS support | Yes |
| Linux support | Yes |
| Parent game | Not available |
| Store URL | Not available on Steam Store |
Short description
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!
About this 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
Supported languages
English