Academic Journals Database
Disseminating quality controlled scientific knowledge

Caracterización deductiva de los árboles de forzamiento semántico Caracterización deductiva de los árboles de forzamiento semántico

Author(s): Manuel Sierra A.

Journal: Ingeniería y Ciencia
ISSN 1794-9165

Volume: 2;
Issue: 3;
Start page: 73;
Date: 2006;
Original page

Keywords: árbol de forzamiento | valuación | semántica | sistema deductivo.

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.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
Affiliate Program      Why do you need a reservation system?