Verbind blokken met inferentieregels samen tot een proefgrafiek, waarbij u uitgangspunten door regels voert totdat het doelknooppunt groen oplicht.
Het bord begint met uw uitgangspuntblokken en een doel. Kies een gevolgtrekkingsregel uit het palet en klik vervolgens op de invoerblokken die deze nodig heeft; als ze passen, leidt de regel een nieuw blok af dat op de ingangen is aangesloten. Regel regels totdat je het doel hebt bereikt. Om een implicatie te bewijzen, voeg je een aanname toe en ontlaad je deze met implicatie-introductie.
Wirelogic is gebaseerd op natuurlijke deductie en verandert formele bewijsregels in een bedradingspuzzel.
Vanuit premisseblokken een doel bereiken door afleidingsregels te kiezen, is formele deductie, de praktijk die loopt van het syllogisme van Aristoteles tot moderne bewijssystemen.
Het ontwerpdetail dat iets leert, is dat een regel alleen werkt als de invoer er werkelijk op past.
Dat is het hele verschil tussen redeneren en beweren. Een argument dat goed aanvoelt maar niet overeenkomt met de vorm van een geldige regel, is precies de fout die de formele logica moest vangen, en de verbinding niet kunnen forceren is leerzamer dan fout gerekend worden.
Wirelogic is een origineel, gratis browserlogicaspel dat is gebouwd op natuurlijke deductie, waarbij formele bewijsregels worden omgezet in bekabelbare blokken, zodat de structuur van een geldig argument iets wordt dat je kunt zien en bouwen.