Wire inference-rule blocks together into a proof graph, feeding premises through rules until the goal node lights green.
Was this fun?
How to play
The board starts with your premise blocks and a goal. Pick an inference rule from the palette, then click the input blocks it needs; if they fit, the rule derives a new block wired to its inputs. Chain rules until you derive the goal. To prove an implication, add an assumption and discharge it with implication-introduction.
Choose a rule like modus ponens, and-introduction, or and-elimination
Click its input blocks in order to derive a new proposition
Add an assumption to prove an implication, then apply implication-introduction
Light up the goal in as few rules as possible to beat par
Game modes
Daily: a fixed puzzle shared each day
Practice: fresh randomized puzzles
Controls
Desktop: click a rule, then click input blocks on the canvas; Undo, Cancel rule, Clear board and New are available
Phone & tablet: tap a rule and tap the blocks to wire them (mouse or touch only)
Tips & strategy
Work backward from the goal to see which rule produces it, then derive that rule's inputs
When the goal is an implication, assume its antecedent early and aim to derive the consequent before discharging
What you'll learn
Wirelogic is built on natural deduction, turning formal proof rules into a wiring puzzle.
For parents & teachers: natural deduction, formal proof.
About Wirelogic
Wirelogic is an original free browser logic game built on natural deduction, turning formal proof rules into wireable blocks so the structure of a valid argument becomes something you can see and build.
A free, original browser game on PlayPendium. No download, no install.
