Conecta bloques de reglas de inferencia en un grafo de demostración, haciendo pasar las premisas por las reglas hasta que el nodo objetivo se ilumine en verde.
Cómo se juega
El tablero empieza con tus bloques de premisas y un objetivo. Elige una regla de inferencia de la paleta y luego haz clic en los bloques de entrada que necesita; si encajan, la regla deriva un bloque nuevo conectado a sus entradas. Encadena reglas hasta derivar el objetivo. Para demostrar una implicación, añade un supuesto y descárgalo con la introducción de la implicación.
Elige una regla como el modus ponens, la introducción de la conjunción o la eliminación de la conjunción
Haz clic en sus bloques de entrada en orden para derivar una nueva proposición
Añade un supuesto para demostrar una implicación y luego aplica la introducción de la implicación
Ilumina el objetivo con las menos reglas posibles para superar el par
Modos de juego
Diario: un puzle fijo compartido cada día
Práctica: puzles nuevos generados al azar
Controles
Ordenador: haz clic en una regla y luego en los bloques de entrada del lienzo; tienes disponibles Deshacer, Cancelar regla, Limpiar tablero y Nuevo
Móvil y tableta: toca una regla y toca los bloques para conectarlos (solo ratón o táctil)
Consejos y estrategia
Trabaja hacia atrás desde el objetivo para ver qué regla lo produce y luego deriva las entradas de esa regla
Cuando el objetivo es una implicación, supón pronto su antecedente e intenta derivar el consecuente antes de descargarlo
Qué vas a aprender
Wirelogic se basa en la deducción natural y convierte las reglas de demostración formal en un puzle de conexiones.
Habilidades: deducción natural, lógica formal, reglas de demostración
Ideal para: bachillerato avanzado / universidad
Para padres y docentes: deducción natural, demostración formal.
Sobre Wirelogic
Wirelogic es un juego de lógica de navegador original y gratuito basado en la deducción natural, que convierte las reglas de demostración formal en bloques conectables para que la estructura de un argumento válido se convierta en algo que puedes ver y construir.
Un juego original y gratuito en tu navegador — sin descargas. Explora todos los juegos →
