Lógica de las tautologías
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estil...
Sparad:
| I publikationen: | Ingeniería y Ciencia |
|---|---|
| Huvudupphov: | |
| Materialtyp: | Artigo |
| Språk: | Espanhol |
| Utgiven: |
Universidad EAFIT
2012
|
| Ämnen: | |
| Länkar: | https://www.redalyc.org/articulo.oa?id=83524069005 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|