Wirelogic
Conectați blocurile de reguli de inferență într-un grafic de probă, alimentând localurile prin reguli până când nodul obiectiv se aprinde în verde.
Cum să joci
Tabloul începe cu blocurile dvs. de premisă și un obiectiv. Alegeți o regulă de inferență din paletă, apoi faceți clic pe blocurile de intrare de care are nevoie; dacă se potrivesc, regula derivă un nou bloc conectat la intrările sale. Reglați în lanț până când obțineți obiectivul. Pentru a dovedi o implicație, adăugați o presupunere și descărcați-o cu implicație-introducere.
- Alegeți o regulă precum modus ponens, și-introducere sau și-eliminare
- Faceți clic pe blocurile de intrare pentru a obține o nouă propunere
- Adăugați o presupunere pentru a demonstra o implicație, apoi aplicați implicație-introducere
- Aprindeți obiectivul în cât mai puține reguli posibil pentru a bate egalitatea
Moduri de joc
- Zilnic: un puzzle fix partajat în fiecare zi
- Practică: puzzle-uri proaspete randomizate
Controale
- Desktop: faceți clic pe o regulă, apoi faceți clic pe blocuri de intrare pe pânză; Anulați, Anulați regula, Ștergeți panoul și Nou sunt disponibile
- Telefon și tabletă: atingeți o regulă și atingeți blocurile pentru a le conecta (numai mouse-ul sau atingerea)
Sfaturi și strategie
- Lucrați înapoi de la obiectiv pentru a vedea ce regulă o produce, apoi obțineți intrările acelei reguli
- Când scopul este o implicație, asumați-i antecedentul devreme și urmăriți să obțineți rezultatul înainte de descărcare.
Ce vei invata
Wirelogic este construit pe deducție naturală, transformând regulile de dovezi formale într-un puzzle de cablare.
- Abilități: deducție naturală, logică formală, reguli de demonstrare
- Cel mai bun pentru: liceu avansat / facultate
- Pentru părinți și profesori: deducere naturală, dovadă formală.
Despre Wirelogic
Wirelogic este un joc original de logică pentru browser, construit pe deducție naturală, transformând regulile de dovezi formale în blocuri conectabile, astfel încât structura unui argument valid să devină ceva ce poți vedea și construi.
Răsfoiți toate jocurile → /
