Wirelogic

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.

• Kies een regel zoals modus ponens, en-introductie, of en-eliminatie
• Klik op de invoerblokken om een nieuwe propositie af te leiden
• Voeg een aanname toe om een implicatie te bewijzen en pas vervolgens implicatie-introductie toe
• Verlicht het doel in zo weinig mogelijk regels om par te verslaan

• Dagelijks: een vaste puzzel die elke dag wordt gedeeld
• Oefenen: nieuwe gerandomiseerde puzzels

• Desktop: klik op een regel en klik vervolgens op invoerblokken op het canvas; Ongedaan maken, Regel annuleren, Bord wissen en Nieuw zijn beschikbaar
• Telefoon en tablet: tik op een regel en tik op de blokken om ze te verbinden (alleen muis of aanraking)

• Werk terug vanaf het doel om te zien welke regel dit oplevert, en leid vervolgens de input van die regel af
• Als het doel een implicatie is, ga dan vroeg uit van het antecedent en probeer de consequentie ervan af te leiden voordat je het loslaat

Wirelogic is gebaseerd op natuurlijke deductie en verandert formele bewijsregels in een bedradingspuzzel.

• Vaardigheden: natuurlijke deductie, formele logica, bewijsregels
• Beste voor: gevorderde middelbare school/universiteit
• Voor ouders en leerkrachten: natuurlijke aftrek, formeel bewijs.

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.

Blader door alle spellen →