Árboles de forzamiento semántico

Main Article Content

Manuel Sierra

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.
Abstract 814 | PDF Downloads 2547