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.
Cómo jugar
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.
Haz clic en un paso candidato para intentar añadirlo al esquema.
Los pasos permanecen bloqueados hasta que se hayan establecido las líneas que necesitan.
Los saltos no válidos se rechazan, a veces con un contraejemplo.
Alcanza el objetivo con menos líneas y menos pistas para conseguir una puntuación más alta.
Modos de juego
Diario: una demostración fija compartida cada día.
Práctica: problemas nuevos generados al azar.
Controles
PC: haz clic en los pasos del conjunto para añadirlos; Deshacer, Pista y Nuevo están en la barra de herramientas.
Móvil y tableta: toca un paso para añadirlo y usa los botones de la barra de herramientas; se juega solo con ratón o pantalla táctil.
Consejos y estrategia
Avanza desde los datos iniciales: busca el paso cuyos requisitos ya tengas en el esquema.
Usa las pistas con moderación; cada una coloca la siguiente línea canónica, pero reduce tu puntuación final.
Qué aprenderás
Lemma enseña demostración deductiva rigurosa y exige que cada paso esté justificado.
Habilidades: demostración deductiva, lógica formal y rigor matemático.
Ideal para: secundaria avanzada y universidad.
Para padres y docentes: demostración deductiva rigurosa.
Acerca de Lemma
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.
Un juego original y gratuito en tu navegador — sin descargas. Explora todos los juegos →
