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.
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.
Wirelogic se basa en la deducción natural y convierte las reglas de demostración formal en un puzle de conexiones.
Partir de bloques de premisas y llegar a una meta eligiendo reglas de inferencia es la deducción formal, la práctica que va del silogismo de Aristóteles a los sistemas de demostración modernos.
El detalle de diseño que enseña algo es que una regla solo se activa si sus entradas encajan de verdad.
Esa es toda la diferencia entre razonar y afirmar. Un argumento que parece correcto pero no se ajusta a la forma de ninguna regla válida es exactamente el error que la lógica formal se inventó para detectar, y no poder forzar la conexión enseña más que recibir una marca de error.
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.