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...
Shranjeno v:
| izdano v: | Ingeniería y Ciencia |
|---|---|
| Glavni avtor: | |
| Format: | Artigo |
| Jezik: | Espanhol |
| Izdano: |
Universidad EAFIT
2012
|
| Teme: | |
| Online dostop: | https://www.redalyc.org/articulo.oa?id=83524069005 |
| Oznake: |
Brez oznak, prvi označite!
|