Generador de árboles semánticos online
Escribe una fórmula —o un argumento con premisas y conclusión— y la herramienta construye su árbol semántico (tablas analíticas de Smullyan): ramas cerradas con ✗, abiertas con su interpretación, y veredicto de validez.
Cómo se usa
El árbol semántico descompone la fórmula con las reglas alfa (que alargan la rama) y beta (que la bifurcan) hasta llegar a literales. Una rama cierra (✗) cuando contiene una fórmula y su negación; queda abierta (○) si ya no se puede descomponer más, y entonces da una interpretación que hace verdaderas todas sus fórmulas. Para demostrar que una fórmula es tautología se construye el árbol de su negación: si todas las ramas cierran, la negación es insatisfacible y la fórmula original es una verdad lógica. Si alguna rama queda abierta, esa rama es un contraejemplo.