Verificador de deducción natural online
Escribe tu derivación línea a línea —premisas, supuestos y reglas básicas (I∧, E∧, I∨, E∨, I→, E→, I¬, E¬, I↔, E↔)— y el verificador comprueba cada paso.
Nivel actual de supuestos: 0 · Las referencias se escriben como
1,3 (líneas) o 3-5 (supuesto cerrado).Cómo se usa
Cada línea lleva su fórmula, la regla que la justifica y las referencias. Las premisas van al nivel principal. Abrir supuesto introduce una hipótesis provisional (la barra │ marca su alcance); se cancela al aplicar I→ o I¬ citando el rango completo (por ejemplo, 3-5). Dentro de un supuesto cerrado ya no se puede citar ninguna línea: esa es la trampa clásica que el verificador vigila. Las reglas son las básicas del cálculo de deducción natural, las mismas de los ejercicios resueltos de deducción natural.
¿Necesitas entender lo que sale? Practica con los ejercicios resueltos de lógica o escríbenos para clases individuales.