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

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 determinab...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Article of journal
Fecha de publicación:
2005
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/73589
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73589
http://bdigital.unal.edu.co/38065/
Palabra clave:
Árbol de forzamiento
valuación
semántica
sistema deductivo
incompatibilidad
determinabilidad.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary: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.