Collegare insieme i blocchi di regole di inferenza in un grafico di prova, alimentando le premesse attraverso le regole finché il nodo obiettivo non si illumina in verde.
Il tabellone inizia con i blocchi premesse e un obiettivo. Scegli una regola di inferenza dalla tavolozza, quindi fai clic sui blocchi di input necessari; se si adattano, la regola deriva un nuovo blocco collegato ai suoi ingressi. Regole a catena finché non raggiungi l'obiettivo. Per dimostrare un'implicazione, aggiungi un'assunzione e scaricala con l'introduzione dell'implicazione.
Wirelogic si basa sulla deduzione naturale, trasformando le regole di dimostrazione formale in un puzzle di cablaggio.
Partire da blocchi-premessa e raggiungere un obiettivo scegliendo regole d'inferenza è la deduzione formale, la pratica che va dal sillogismo di Aristotele ai moderni sistemi di dimostrazione.
Il dettaglio progettuale che insegna qualcosa è che una regola scatta solo se i suoi ingressi combaciano davvero.
È tutta la differenza tra ragionare e asserire. Un argomento che sembra giusto ma non corrisponde alla forma di nessuna regola valida è esattamente l'errore che la logica formale è stata inventata per cogliere, e non riuscire a forzare il collegamento è più istruttivo che vedersi segnare un errore.
Wirelogic è un originale gioco di logica per browser gratuito basato sulla deduzione naturale, che trasforma le regole di prova formali in blocchi cablabili in modo che la struttura di un argomento valido diventi qualcosa che puoi vedere e costruire.