Caracterización deductiva de los árboles de forzamiento semántico
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 inva...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad EAFIT
2006-06-01
|
| Series: | Ingeniería y Ciencia |
| Subjects: | |
| Online Access: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487 |
| _version_ | 1818327660746506240 |
|---|---|
| author | Manuel Sierra A. |
| author_facet | Manuel Sierra A. |
| author_sort | Manuel Sierra A. |
| collection | DOAJ |
| description | 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 |
| first_indexed | 2024-12-13T12:19:48Z |
| format | Article |
| id | doaj.art-7b4cbea8730044598c0f49883d718b48 |
| institution | Directory Open Access Journal |
| issn | 1794-9165 2256-4314 |
| language | English |
| last_indexed | 2024-12-13T12:19:48Z |
| publishDate | 2006-06-01 |
| publisher | Universidad EAFIT |
| record_format | Article |
| series | Ingeniería y Ciencia |
| spelling | doaj.art-7b4cbea8730044598c0f49883d718b482022-12-21T23:46:37ZengUniversidad EAFITIngeniería y Ciencia1794-91652256-43142006-06-0123487Caracterización deductiva de los árboles de forzamiento semánticoManuel Sierra A.0Universidad EAFITEl 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, 03B10http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487árbol de forzamientovaluaciónsemánticasistema deductivo. |
| spellingShingle | Manuel Sierra A. Caracterización deductiva de los árboles de forzamiento semántico Ingeniería y Ciencia árbol de forzamiento valuación semántica sistema deductivo. |
| title | Caracterización deductiva de los árboles de forzamiento semántico |
| title_full | Caracterización deductiva de los árboles de forzamiento semántico |
| title_fullStr | Caracterización deductiva de los árboles de forzamiento semántico |
| title_full_unstemmed | Caracterización deductiva de los árboles de forzamiento semántico |
| title_short | Caracterización deductiva de los árboles de forzamiento semántico |
| title_sort | caracterizacion deductiva de los arboles de forzamiento semantico |
| topic | árbol de forzamiento valuación semántica sistema deductivo. |
| url | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487 |
| work_keys_str_mv | AT manuelsierraa caracterizaciondeductivadelosarbolesdeforzamientosemantico |