Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad EAFIT
2007
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=83530607 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Lógica básica para la verdad y la falsedad LBVF Manuel Sierra A. Ingeniería Verdad falsedad paracompleto bien fundado negación alterna El sistema LBVF se construye como una extensión de la lógica clásica positiva, al incluir operadores de afirmación alterna, negación alterna y completez, además, se definen a partir de ellos los operadores de negación clásica y buena fundamentación. El sistema es caracterizado por una semántica de valuaciones tradicionales con la cual se prueba que, respecto a los operadores de afirmación y de negación alterna el sistema es paracompleto. En el sistema secaracterizan las definiciones de verdad y falsedad presentadas por Aristóteles, representando la falsedad aristotélica con el operador de negación alterna y la verdad aristotélica con el operador de afirmación alterna, lográndose con estainterpretación dar solución a una variante de la paradoja del mentiroso. 2007 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83530607 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.6 Vol.3