Árbol semántico

El método de demostración por contradicción o reducción al absurdo (mencionado en el apartado anterior) nos permite utilizar las llamadas tablas semánticas para comprobar si un argumento es o no valido.

El método (descubierto en los años cincuenta por Beth y Hintikka, independientemente uno del otro) permite saber si una proposición es una contradicción.

Por el contrario, la existencia de una rama abierta nos llevará a concluir que el argumento no es válido.

,pn}, sabremos que es consistente, si al construir la tabla semántica de p1 ^ p2 ^ .

^ pn, nos queda algún camino abierto que representara un modelo para dicho sistema.