Wirelogic

Wire inference-rule blocks together into a proof graph, feeding premises through rules until the goal node lights green.

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.

• Skills: natural deduction, formal logic, proof rules
• Best for: advanced high school / college
• 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. Browse all games →