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.
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.
Wirelogic este construit pe deducție naturală, transformând regulile de dovezi formale într-un puzzle de cablare.
Pornirea de la blocuri-premisă și atingerea unui obiectiv prin alegerea regulilor de inferență înseamnă deducție formală, practica ce merge de la silogismul lui Aristotel la sistemele moderne de demonstrație.
Detaliul de design care predă ceva este că o regulă se declanșează doar dacă intrările ei se potrivesc cu adevărat.
Aceasta este întreaga diferență dintre a raționa și a afirma. Un argument care pare corect, dar nu corespunde formei vreunei reguli valide, este exact eroarea pe care logica formală a fost inventată s-o prindă, iar faptul că nu poți forța legătura este mai instructiv decât o notă de greșeală.
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.