Árboles de forzamiento semántico

Authors

  • Manuel Sierra Universidad EAFIT

Keywords:

Cálculo de predicados, Cálculo proposicional

Abstract

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.

Downloads

Download data is not yet available.

Author Biography

  • Manuel Sierra, Universidad EAFIT
    Magister en matemáticas. Profesor, Departamento de Humanidades, Universidad EAFIT

Downloads

Published

2012-06-21

Issue

Vol. 37 No. 123 (2001)

Section

Artículos

How to Cite

Sierra, M. (2012). Árboles de forzamiento semántico. Revista Universidad EAFIT, 37(123), 53-72. https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984

Most read articles by the same author(s)