Árboles de forzamiento semántico
Main Article Content
Keywords
Cálculo de predicados, Cálculo proposicional
Resumen
En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden.
Descargas
Los datos de descargas todavía no están disponibles.