Árboles de forzamiento semántico para operaciones entre conjuntos
QRCode
Compartir este ítem
Citación
Fecha
2017-02-09
Autor
Sierra-Aristizabal, Manuel
Publicador
Universidad Militar Nueva Granada
Palabras claves
árbol de forzamiento; valoración; semántica; conjunto.
Metadatos
Mostrar el registro completo del ítemResumen
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