Prove You Can Win

Prove You Can Win is a logic puzzle game based on deduction. You learn axioms and rules of deduction, then enter code to prove propositions and advance through loops.

Prove propositions

The game focuses on natural deduction in statement calculus and first-order predicate calculus. Its puzzles involve reading and understanding the rules, then applying them to construct proofs. The difficulty begins mainly with learning the rules; puzzles are initially easy to work out, but become very hard as you continue. Reading and comprehension are part of the challenge, and the game contains substantial text that requires some understanding of mathematics.

You create each new proof step by entering the correct code. The available tools are the axioms and rules of deduction; there is no custom-corollary function. The experience is much like reading a mathematics book or working through an exercise book. A full playthrough takes about 20–40 hours.