Lemma

Lewy panel pokazuje liczbę, dane i cel. Centrum stanowi dwukolumnowa księga zawierająca oświadczenia i uzasadnienia, którą tworzysz. Z puli potencjalnych kroków dodawaj po jednym na raz; krok jest akceptowany tylko wtedy, gdy jego wymagania wstępne zostały już udowodnione. Wyprowadź cel, aby zakończyć dowód.

• Kliknij krok kandydata, aby spróbować dodać go do księgi
• Stopnie są blokowane do czasu ustalenia ich wymaganych linii
• Nieprawidłowe skoki są odrzucane, czasami z kontrprzykładem
• Osiągnij cel w mniejszej liczbie linii i z mniejszą liczbą wskazówek, aby uzyskać wyższy wynik

• Codziennie: stały dowód udostępniany każdego dnia
• Praktyka: świeże, losowe problemy

• Komputer stacjonarny: kliknij kroki w puli, aby je dodać; Cofnij, Podpowiedź i Nowy znajdują się na pasku narzędzi
• Telefon i tablet: dotknij kroku, aby go dodać, a następnie dotknij przycisków paska narzędzi (tylko mysz lub dotyk)

• Pracuj dalej, wychodząc od tego, co oczywiste — poszukaj kroku, którego warunki wstępne masz już w księdze
• Używaj podpowiedzi oszczędnie; każdy z nich umieszcza następną linię kanoniczną, ale obniża Twój wynik końcowy

Lemat uczy rygorystycznego dowodu dedukcyjnego, egzekwując, że każdy krok jest uzasadniony.

• Umiejętności: dowód dedukcyjny, logika formalna, rygor matematyczny
• Najlepsze dla: zaawansowanej szkoły średniej/studia
• Dla rodziców i nauczycieli: rygorystyczny dowód dedukcyjny.

Budowanie dwukolumnowego zestawienia twierdzeń i uzasadnień z puli kandydackich kroków to dowód matematyczny w postaci, w jakiej uczy się go w geometrii.

Oryginalnym rusztowaniem jest dostarczenie kandydackich kroków.

Podanie kroków usuwa część, która jest głównie inwencją, i zostawia część, która jest głównie logiką: rozstrzyganie, co z czego wynika i w jakiej kolejności. Krok prawdziwy, ale jeszcze nieuzasadniony to charakterystyczny błąd i jest widoczny tylko w formie dwukolumnowej.

Lemma to oryginalna, bezpłatna gra logiczna na przeglądarkę, która uczy rygorystycznego dowodu dedukcyjnego, wymuszając, aby każde twierdzenie było uzasadnione wcześniejszymi liniami, tak jak wymaga tego prawdziwy dowód geometrii z dwiema kolumnami.

Przeglądaj wszystkie gry →