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