Konstruuj dowód po jednej uzasadnionej linii na raz — każdy krok musi wynikać z tego, co już jest w księdze, a każdy logiczny skok jest odrzucany.
Jak grać
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
Tryby gry
Codziennie: stały dowód udostępniany każdego dnia
Praktyka: świeże, losowe problemy
Sterowanie
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)
Wskazówki i strategia
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
Czego się dowiesz
Lemat uczy rygorystycznego dowodu dedukcyjnego, egzekwując, że każdy krok jest uzasadniony.
Najlepsze dla: zaawansowanej szkoły średniej/studia
Dla rodziców i nauczycieli: rygorystyczny dowód dedukcyjny.
O Lemie
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.
