Árboles de forzamiento semántico para operaciones entre conjuntos

  • Manuel Sierra-Aristizabal Universidad Eafit
Palabras clave: árbol de forzamiento, valoración, semántica, conjunto.

Resumen

La semántica de valoraciones para la lógica que gobierna las operaciones entre conjuntos es caracterizada por una herramienta de inferencia visual llamada árboles de forzamiento semántico para operaciones entre conjuntos. Dada una fórmula, con esta herramienta se marcan los nodos del árbol asociado a la misma, y se determina si la fórmula es válida o no. En el caso que la fórmula sea inválida, la valoración que la refuta está determinada por las marcas de las hojas en su árbol de forzamiento, además, con esta valoración se construyen los conjuntos que generan el contraejemplo. El análisis de validez realizado con los árboles de forzamiento semántico para operaciones entre conjuntos, evita el paso por los árboles de forzamiento para la lógica de predicados, por lo que las pruebas son más cortas y más intuitivas.

Biografía del autor/a

Manuel Sierra-Aristizabal, Universidad Eafit
Profesor, Departamento de Ciencias Matemáticas.

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Manuel Sierra-Aristizabal, Universidad Eafit
Profesor, Departamento de Ciencias Matemáticas.

Referencias bibliográficas

Barrero, T. y Carnielli, W. 2005. Tableaux sin refutación. Matemáticas: Ense-anza Universitaria. 13(2):81-99.

Beth, E. 1962. Formal methods, an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel Publishing, Dordrecht, 168p.

Caicedo, X. 1990. Elementos de lógica y calculabilidad. Bogotá: Una empresa docente.

Carnielli, W. 1987. Systematization of finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic. 52(2):473-493.

https://doi.org/10.2307/2274395

Mosterín, J. 1971. Teoría axiomática de conjuntos. Barcelona: ediciones Ariel.

Oubi-a, L. 1965. Introducción a la teoría de conjuntos. Buenos Aires: editorial universitaria de Buenos Aires.

Smullyan, R. 1968. First order logic. Springer-Verlag, Berlin, 158p.

https://doi.org/10.1007/978-3-642-86718-7

Sierra, M. 2001. Arboles de forzamiento semántico. Revista Universidad EAFIT. 37(123):53-72.

Sierra, M. 2006. Caracterización deductiva de los árboles de forzamiento semántico. Revista Ingeniería y Ciencia. 2(3):73-102.

Cómo citar
Sierra-Aristizabal, M. (2017). Árboles de forzamiento semántico para operaciones entre conjuntos. Revista Facultad De Ciencias Básicas, 13(2), 72–82. https://doi.org/10.18359/rfcb.2201
Publicado
2017-02-09
Sección
Artículos

Métricas

Crossref Cited-by logo
QR Code