| Revista: | Ingeniería y ciencia |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000272802 |
| ISSN: | 1794-9165 |
| Autores: | Sierra, Manuel1 |
| Instituciones: | 1Universidad EAFIT, Departamento de Ciencias Básicas, Medellín, Antioquia. Colombia |
| Año: | 2006 |
| Periodo: | Mar |
| Volumen: | 2 |
| Número: | 3 |
| Paginación: | 73-102 |
| País: | Colombia |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, descriptivo |
| Resumen en español | 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 |
| Resumen en inglés | The classic propositional calculus is characterized by a tool of visual inference called trees of semantic forcing. With this tool the associated nodes of the formula are marked, and with base in these marks it determines if the formula is valid or no. In case of invalidity, the valuation that refutes the validity of the formula is determines by the marks of the leaves in its tree of forcing. In case of validity, a formal deduction of the associated formula to the root of the tree can be constructed, this is possible because each used rule to mark the nodes in the tree is associate to a rule of inference in the deductive system |
| Disciplinas: | Filosofía, Matemáticas |
| Palabras clave: | Lógica, Matemáticas aplicadas, Validación, Semántica, Arbol de forzamiento semántico, Sistema deductivo |
| Keyword: | Philosophy, Mathematics, Logic, Applied mathematics, Validation, Semantics, Tree of semantic forcing, Deductive system |
| Texto completo: | Texto completo (Ver PDF) |
