Lógica Básica con Afirmación y Negación Alternas
El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre l...
- Autores:
-
Sierra Aristizábal, Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2005
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/17169
- Acceso en línea:
- http://hdl.handle.net/10784/17169
- Palabra clave:
- Afirmación
Negación
Incompatibilidad
Determinabilidad
- Rights
- License
- Copyright © 2005 Manuel Sierra Aristizábal
| Summary: | El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre la negación usual y la afirmación alterna y entre los operadores alternos de afirmación y negación. El sistema está caracterizado por una semántica de valuaciones tradicional, con la cual se establece la diferencia entre los operadores afirmación y entre los operadores negación. |
|---|