El Desarrollador de árboles semánticos es una herramienta web de uso libre que determina la coherencia de un grupo de proposiciones lógicas de acuerdo a las reglas de la Lógica Proposicional (LP) (también conocida como Lógica de orden cero o Cálculo proposicional). Dado un grupo de proposiciones simbólicas, esta herramienta construye un árbol semántico y genera su representación visual usando el mismo formato que aparece en The Logic Book de Bergmann, Moor y Nelson.

¡Abre el Desarrollador de árboles semánticos!