Juega con esta aplicación y construir algunas pruebas en el estilo de deducción natural. Al hacer clic en una fórmula se expande automáticamente con posibles reglas. Las suposiciones se imprimen en azul. Seleccionado uno de ellos genera un nuevo subárbol. La fijación de dos árboles se realiza arrastrando la raíz del primero a la hoja del segundo. Si sólo hay una posibilidad, este archivo adjunto se realiza automáticamente. La prueba se realiza cuando el árbol está rodeado por un rectángulo rojo.
¡Que te diviertas! La lógica es divertida
historial de versiones
- Versión 1.5 publicado en 2015-05-07
Mejor visualización
Detalles del programa
- Categoría: Educación > Herramientas de Enseñanza y Formación
- Editor: Laurent Théry
- Licencia: Gratis
- Precio: N/A
- Versión: 1.5
- Plataforma: android