Побудуйте доказ по одному вирівняному рядку за раз — кожен крок має випливати з того, що вже є в книзі, і будь-який логічний стрибок викидається.
Як грати
Ліва панель показує цифру, дані та мету. Центр — це двоколонкова книга звітів і обґрунтувань, яку ви створюєте. З пулу потенційних кроків додайте по одному; крок приймається лише тоді, коли його передумови вже доведені. Виведіть мету для завершення доведення.
Натисніть крок-кандидат, щоб спробувати додати його до книги
Кроки блокуються, доки не буде встановлено їхні попередні лінії
Недійсні стрибки відхиляються, іноді з контрприкладом
Досягніть мети за меншу кількість рядків, з меншою кількістю підказок, щоб отримати вищий бал
Режими гри
Щодня: фіксований доказ, який надається щодня
Практика: свіжі рандомізовані задачі
Елементи керування
Робочий стіл: натисніть кроки в пулі, щоб додати їх; Скасувати, підказка та створити на панелі інструментів
Телефон і планшет: торкніться кроку, щоб додати його, і торкніться кнопок панелі інструментів (тільки миша або торкання)
Поради та стратегія
Працюйте вперед, виходячи з даного — шукайте крок, передумови якого ви вже маєте в книзі
Помірно використовуйте підказки; кожен з них ставить наступний канонічний рядок, але знижує ваш остаточний бал
Що ви дізнаєтесь
Лема вчить суворому дедуктивному доведенню, доводячи, що кожен крок є виправданим.
Для батьків і вчителів: суворий дедуктивний доказ.
Про Лему
Lemma — це оригінальна безкоштовна логічна гра для браузера, яка навчає суворому дедуктивному доказу, вимушуючи, щоб кожне твердження було виправдано попередніми рядками, як того вимагає справжній геометричний доказ у два стовпці.
