Árboles de forzamiento semántico para operaciones entre conjuntos
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.
Descargas
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.