Wirelogic
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.
Come giocare
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.
- Scegli una regola come modus ponens, e-introduzione o e-eliminazione
- Fare clic sui suoi blocchi di input per derivare una nuova proposizione
- Aggiungi un'ipotesi per dimostrare un'implicazione, quindi applica l'introduzione dell'implicazione
- Illumina la porta con il minor numero di regole possibile per battere il par
Modalità di gioco
- Giornaliero: un puzzle fisso condiviso ogni giorno
- Esercizio: nuovi puzzle randomizzati
Controlli
- Desktop: fare clic su una regola, quindi fare clic sui blocchi di input nell'area di disegno; Sono disponibili Annulla, Annulla regola, Cancella scheda e Nuovo
- Telefono e tablet: tocca una regola e tocca i blocchi per collegarli (solo mouse o tocco)
Suggerimenti e strategia
- Lavora a ritroso rispetto all'obiettivo per vedere quale regola lo produce, quindi ricava gli input di quella regola
- Quando l'obiettivo è un'implicazione, assumere subito il suo antecedente e mirare a derivare il conseguente prima di scaricarlo
Cosa imparerai
Wirelogic si basa sulla deduzione naturale, trasformando le regole di dimostrazione formale in un puzzle di cablaggio.
- Abilità: deduzione naturale, logica formale, regole di dimostrazione
- Ideale per: scuola superiore/università avanzata
- Per genitori e insegnanti: deduzione naturale, prova formale.
A proposito di Wirelogic
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.
Sfoglia tutti i giochi → /
