Árboles de forzamiento semántico para operaciones entre conjuntos
QRCode
Compartir este ítem
Citación
Date
2017-02-09
Author
Sierra-Aristizabal, Manuel
Publisher
Universidad Militar Nueva Granada
Key words
árbol de forzamiento; valoración; semántica; conjunto.
Metadata
Show full item recordResumen
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.
Enlace al recurso
http://revistas.unimilitar.edu.co/index.php/rfcb/article/view/2201https://doi.org/10.18359/rfcb.2201
Fuente
Revista Facultad de Ciencias Básicas; Vol. 13 No. 2 (2017); 72-82Revista Facultad de Ciencias Básicas; Vol. 13 Núm. 2 (2017); 72-82