Método de demostración formal de la lógica de predicados

Question

Busco el nombre oficial de un método de prueba, El método consiste en probar la INconsistencia de una teoría. Esto se hizo utilizando árboles. Lo llamamos método de eliminación clásica pero no sé si es el nombre "oficial".

¿Alguien lo sabe?

Answer 1

Supongo que está buscando Árboles de la verdad o Cuadros semánticos

(mismo método ... diferentes nombres)

He aquí una buen sitio web que crea los árboles automáticamente ... por desgracia no tiene identidad.