Construye una demostración línea por línea, siempre con justificación: cada paso debe desprenderse de lo que ya está en el esquema, y cualquier salto lógico queda descartado.
El panel izquierdo muestra la figura, los datos y el objetivo. En el centro vas construyendo una tabla de dos columnas con cada afirmación y su justificación. Elige pasos candidatos de uno en uno; un paso solo se acepta cuando sus requisitos previos ya están demostrados. Deduce el objetivo para completar la prueba.
Lemma enseña demostración deductiva rigurosa y exige que cada paso esté justificado.
Construir un registro de dos columnas con afirmación y justificación a partir de un conjunto de pasos candidatos es la demostración matemática tal como se enseña en geometría.
Proporcionar los pasos candidatos es el andamiaje original.
Ofrecer los pasos elimina la parte que es sobre todo invención y deja la que es sobre todo lógica: decidir qué se sigue de qué y en qué orden. Un paso verdadero pero aún no justificado es el error característico, y solo es visible en la forma de dos columnas.
Lemma es un juego original y gratuito de lógica para navegador que enseña demostraciones deductivas rigurosas. Exige que cada afirmación esté justificada por líneas anteriores, tal como en una verdadera demostración geométrica de dos columnas.