Construa uma prova, uma linha justificada de cada vez - cada passo deve seguir o que já está no livro-razão, e qualquer salto lógico será descartado.
O painel esquerdo mostra a figura, os dados e o objetivo. O centro é um livro-razão de duas colunas com declarações e justificativas que você constrói. Do conjunto de etapas candidatas, adicione uma de cada vez; uma etapa só é aceita quando seus pré-requisitos já estão comprovados. Derive o objetivo para completar a prova.
O lema ensina prova dedutiva rigorosa, garantindo que cada passo é justificado.
Montar uma tabela de duas colunas, com afirmação e justificativa, a partir de um conjunto de passos candidatos é a demonstração matemática tal como é ensinada em geometria.
Fornecer os passos candidatos é o andaime original.
Oferecer os passos remove a parte que é sobretudo invenção e deixa a parte que é sobretudo lógica: decidir o que decorre do quê, e em que ordem. Um passo verdadeiro, mas ainda não justificado, é o erro característico, e ele só fica visível no formato de duas colunas.
Lemma é um jogo de lógica de navegador gratuito e original que ensina provas dedutivas rigorosas, obrigando que cada afirmação seja justificada por linhas anteriores, assim como exige uma prova geométrica real de duas colunas.