Wirelogic

I-wire ang inference-rule block nang magkasama sa isang proof graph, na nagpapakain sa mga lugar sa pamamagitan ng mga panuntunan hanggang sa umilaw na berde ang goal node.

Paano maglaro

Ang board ay nagsisimula sa iyong mga bloke ng premise at isang layunin. Pumili ng inference rule mula sa palette, pagkatapos ay i-click ang input blocks na kailangan nito; kung magkasya ang mga ito, ang panuntunan ay nakakakuha ng bagong block na naka-wire sa mga input nito. Magkadena ng mga panuntunan hanggang sa makuha mo ang layunin. Upang patunayan ang isang implikasyon, magdagdag ng isang palagay at ilabas ito nang may implikasyon-pagpapakilala.

• Pumili ng panuntunan tulad ng modus ponens, at-introduction, o at-elimination
• I-click ang mga input block nito upang makakuha ng bagong proposisyon
• Magdagdag ng pagpapalagay upang patunayan ang isang implikasyon, pagkatapos ay ilapat ang implikasyon-pagpapakilala
• Sindihan ang layunin sa kaunting mga panuntunan hangga't maaari upang matalo ang par

Mga mode ng laro

• Araw-araw: isang nakapirming puzzle na ibinabahagi bawat araw
• Practice: sariwang randomized puzzle

Mga kontrol

• Desktop: i-click ang isang panuntunan, pagkatapos ay i-click ang mga input block sa canvas; I-undo, Kanselahin ang panuntunan, Clear board at Bago ay available
• Telepono at tablet: i-tap ang isang panuntunan at i-tap ang mga bloke para i-wire ang mga ito (mouse o touch lang)

Mga tip at diskarte

• Magtrabaho pabalik mula sa layunin upang makita kung aling panuntunan ang gumagawa nito, pagkatapos ay makuha ang mga input ng panuntunang iyon
• Kapag ang layunin ay isang implikasyon, ipagpalagay ang nauuna nito at layuning makuha ang kinahinatnan bago i-discharge

Ang matututunan mo

Ang Wirelogic ay itinayo sa natural na bawas, na ginagawang isang wiring puzzle ang mga pormal na tuntunin ng patunay.

• Mga Kasanayan: natural na pagbabawas, pormal na lohika, patunay na mga panuntunan
• Pinakamahusay para sa: advanced na mataas na paaralan / kolehiyo
• Para sa mga magulang at guro: natural na bawas, pormal na patunay.

Tungkol sa Wirelogic

Ang Wirelogic ay isang orihinal na libreng browser logic game na binuo sa natural na bawas, na ginagawang mga wireable block ang pormal na patunay na mga panuntunan upang ang istruktura ng isang valid na argumento ay maging isang bagay na makikita at mabuo mo.

I-browse ang lahat ng laro → /