Lógica básica con afirmación alterna
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | es |
| Publié: |
Universidad EAFIT
2005
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876482292721909760 |
|---|---|
| author | Manuel Sierra A. |
| author_facet | Manuel Sierra A. |
| contents | Lógica básica con afirmación alterna Manuel Sierra A. Ingeniería afirmación incompatibilidad determinabilidad afirmación alterna El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador parala noci´on de afirmaci´on alterna (en contraste con la afirmaci´on cl´asica o afirmación usual),y también operadores de incompatibilidad y determinabilidad entre la pareja de operadoresnegación versus afirmación alterna. El sistema está caracterizado por una semántica devaluaciones, con la cual se muestra la no equivalencia entre los dos operadores afirmación.Como es de esperarse, el sistema colapsa en la lógica clásica si se pide esta equivalencia.Se generan dos sistemas intermedios cuando se pide por un lado que la afirmación alternaimplique la clásica y por otro lado la implicación recíproca. 2005 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83510108 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.1 Vol.1 |
| format | Artículo científico |
| id | redalyc_83510108 |
| institution | Redalyc |
| language | es |
| publishDate | 2005 |
| publisher | Universidad EAFIT |
| spellingShingle | Lógica básica con afirmación alterna Manuel Sierra A. Ingeniería afirmación incompatibilidad determinabilidad afirmación alterna Lógica básica con afirmación alterna Manuel Sierra A. Ingeniería afirmación incompatibilidad determinabilidad afirmación alterna El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador parala noci´on de afirmaci´on alterna (en contraste con la afirmaci´on cl´asica o afirmación usual),y también operadores de incompatibilidad y determinabilidad entre la pareja de operadoresnegación versus afirmación alterna. El sistema está caracterizado por una semántica devaluaciones, con la cual se muestra la no equivalencia entre los dos operadores afirmación.Como es de esperarse, el sistema colapsa en la lógica clásica si se pide esta equivalencia.Se generan dos sistemas intermedios cuando se pide por un lado que la afirmación alternaimplique la clásica y por otro lado la implicación recíproca. 2005 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83510108 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.1 Vol.1 |
| title | Lógica básica con afirmación alterna |
| topic | Ingeniería afirmación incompatibilidad determinabilidad afirmación alterna |
| url | https://www.redalyc.org/articulo.oa?id=83510108 |