Стройте доказательство по одной выровненной строке за раз — каждый шаг должен следовать из того, что уже есть в книге, и любой логический скачок отбрасывается.
Как играть
На левой панели показаны фигура, данные и цель. В центре находится список утверждений и обоснований, состоящий из двух колонок, который вы создаете. Из пула возможных шагов добавляйте по одному; шаг принимается только тогда, когда его предпосылки уже доказаны. Поставьте цель завершить доказательство.
Нажмите на шаг-кандидат, чтобы попробовать добавить его в реестр.
Шаги блокируются до тех пор, пока не будут установлены необходимые строки.
Недействительные прыжки отклоняются, иногда с контрпримером.
Достигните цели за меньшее количество строк и с меньшим количеством подсказок, чтобы получить более высокий балл.
Режимы игры
Ежедневно: фиксированное доказательство, предоставляемое каждый день.
Практика: свежие рандомизированные задачи
Элементы управления
Рабочий стол: щелкните шаги в пуле, чтобы добавить их; «Отменить», «Подсказка» и «Создать» находятся на панели инструментов.
Телефон и планшет: коснитесь шага, чтобы добавить его, и коснитесь кнопок панели инструментов (только мышью или сенсорным экраном).
Советы и стратегия
Работайте вперед, исходя из данности — ищите шаг, предпосылки которого уже есть в реестре.
Используйте подсказки экономно; каждый из них размещает следующую каноническую строку, но снижает ваш окончательный балл.
Что вы узнаете
Лемма учит строгому дедуктивному доказательству, гарантируя, что каждый шаг оправдан.
Подходит для: средней школы/колледжа продвинутого уровня.
Для родителей и учителей: строгое дедуктивное доказательство.
О лемме
Лемма — это оригинальная бесплатная браузерная логическая игра, которая обучает строгому дедуктивному доказательству, требуя, чтобы каждое утверждение было обосновано предыдущими строками, как того требует настоящее геометрическое доказательство с двумя столбцами.
Оригинальная бесплатная игра в браузере — без загрузки. Смотреть все игры →
