Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas Report as inadecuate




Árboles de forzamiento semántico para el sistema básico con afirmación y negación alternas - Download this document for free, or read online. Document in PDF available to download.



El lenguaje del sistema LB extiende el lenguaje de la lógicaclásica al incluir operadores para las nociones de afirmación alterna en contraste con la afirmación usual o afirmación clásica, negación alterna en contraste con la negación clásica, y también operadores de incompatibilidady determinabilidad entre parejas de operadores: negación alterna versus afirmación alterna, negación alterna versus afirmación clásica y afirmación alterna versus negación clásica. El sistema está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociadoa 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á determina por las marcas en su árbol de forzamiento.

Tipo de documento: Artículo - Article

Palabras clave: Árbol de forzamiento, valuación, semántica, sistema deductivo, incompatibilidad, determinabilidad.





Source: http://www.bdigital.unal.edu.co


Teaser



Boletı́n de Matemáticas Nueva Serie, Volumen XII No.
2 (2005), pp.
155–183 ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA EL SISTEMA BÁSICO CON AFIRMACIÓN Y NEGACIÓN ALTERNAS MANUEL SIERRA A.
(∗) Resumen.
El lenguaje del sistema LB extiende el lenguaje de la lógica clásica al incluir operadores para las nociones de afirmación alterna (en contraste con la afirmación usual o afirmación clásica), negación alterna (en contraste con la negación clásica), y también operadores de incompatibilidad y determinabilidad entre parejas de operadores: negación alterna versus afirmación alterna, negación alterna versus afirmación clásica y afirmación alterna versus negación clásica.
El sistema 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á determina por las marcas en su árbol de forzamiento. Palabras claves.
Árbol de forzamiento, valuación, semántica, sistema deductivo, incompatibilidad, determinabilidad. 2000 MSC: 03B60. (∗) Manuel Sierra A. Universidad EAFIT. Medellı́n. Colombia. E-mail: msierra@eafit.edu.co Este trabajo forma parte de los resultados del proyecto de investigación, Árboles de forzamiento semántico para sistemas deductivos con operador afirmación, el cual fue financiado por la Universidad EAFIT. 155 156 MANUEL SIERRA A. Abstract.
The language of the system LB extends the language of the classic logic to include operators for the notions of alternating affirmation (in contrast to usual affirmation or classic affirmation), alternating negation (in contrast to classic negation), and also operators of incompatibility and determinability between pairs of operators: alternating negation versus al...






Related documents