Caracterización deductiva de los árboles de forzamiento semántico

Main Article Content

Manuel Sierra A.
Universidad EAFIT

Keywords

árbol de forzamiento, valuación, semántica, sistema deductivo.

Resumen

El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de invalidez, la valuación que refuta la validez de la fórmula está determinada por las marcas de las hojas en su árbol de forzamiento. En caso de validez, se puede construir una deducción formal de la fórmula asociada a la raíz del árbol; esto se logra debido a que cada regla utilizada para marcar los nodos en el árbol está asociada a una regla de inferencia en el sistema deductivo

MSC: 03BXX, 03B10

Descargas

Los datos de descargas todavía no están disponibles.
Abstract 935 | PDF Downloads 560

Referencias

[1] E. Beth. Formal methods, an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel: Dordrecht, 1962.

[2] R. Smullyan. First order logic. New York: Dover ed., 1994.

[3] X. Caicedo. Elementos de lógica y calculabilidad. Bogotá: Universidad de los Andes, 1990.

[4] A. Hamilton. Lógica para matemáticos. Madrid: Paraninfo, 1981.

[5] M. Sierra. Árboles de forzamiento semántico. Revista Universidad EAFIT, 123, 2001.

[6] M. Sierra. Lógica básica con afirmación alterna. Ingeniería y Ciencia, 1(1), 115- 129 (2005).

Article Sidebar

PDF

Article Details

Cómo citar
Sierra A., M. (2006). Caracterización deductiva de los árboles de forzamiento semántico. Ingeniería Y Ciencia, 2(3), 73–102. Recuperado a partir de https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487
Número
Vol. 2 Núm. 3 (2006)
Sección
Artículos
Agencias de apoyo
Biografía del autor/a

Manuel Sierra A., Universidad EAFIT

Magister en Matemáticas

Los autores que publican en esta revista están de acuerdo con los siguientes términos:

  • Los autores conservan los derechos de autor y garantizan a la revista el derecho de ser la primera publicación del trabajo al igual que licenciado bajo una Creative Commons Attribution License que permite a otros compartir el trabajo con un reconocimiento de la autoría del trabajo y la publicación inicial en esta revista.
  • Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, situarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en esta revista.
  • Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados (Véase The Effect of Open Access) (en inglés).