Lemma

Ang kaliwang pane ay nagpapakita ng figure, ang mga ibinigay at ang layunin. Ang sentro ay isang dalawang-column ledger ng pahayag at katwiran na iyong binuo. Mula sa pool ng mga hakbang ng kandidato, magdagdag ng isa-isa; ang isang hakbang ay tinatanggap lamang kapag ang mga kinakailangan nito ay napatunayan na. Kunin ang layunin upang makumpleto ang patunay.

• Mag-click sa hakbang ng kandidato upang subukang idagdag ito sa ledger
• Naka-lock ang mga hakbang hanggang sa maitatag ang kanilang mga kinakailangang linya
• Ang mga di-wastong paglukso ay tinatanggihan, kung minsan ay may counterexample
• Abutin ang layunin sa mas kaunting linya, na may mas kaunting mga pahiwatig, para sa mas mataas na marka

• Araw-araw: isang nakapirming patunay na ibinabahagi bawat araw
• Practice: sariwang randomized na mga problema

• Desktop: i-click ang mga hakbang sa pool upang idagdag ang mga ito; Ang I-undo, Hint at Bago ay nasa toolbar
• Telepono at tablet: i-tap ang isang hakbang upang idagdag ito at i-tap ang mga button ng toolbar (mouse o touch lang)

• Magsumikap mula sa mga ibinigay — hanapin ang hakbang na ang mga kinakailangan ay mayroon ka na sa ledger
• Gumamit ng mga pahiwatig nang matipid; bawat isa ay naglalagay ng susunod na kanonikal na linya ngunit pinabababa ang iyong huling marka

Itinuro ni Lemma ang mahigpit na deductive proof, na nagpapatupad na ang bawat hakbang ay makatwiran.

• Kasanayan: deductive proof, formal logic, mathematical rigor
• Pinakamahusay para sa: advanced na mataas na paaralan / kolehiyo
• Para sa mga magulang at guro: mahigpit na deductive proof.

Ang Lemma ay isang orihinal na libreng browser logic game na nagtuturo ng mahigpit na deductive proof, na nagpapatupad na ang bawat claim ay nabibigyang katwiran sa pamamagitan ng mga naunang linya tulad ng isang tunay na two-column geometry proof na hinihingi.

I-browse ang lahat ng laro →