Caracterización deductiva de los árboles de forzamiento semántico
El cálculo proposicional clásico está caracterizado por una herramienta de inferencia visual llamada árboles de forzamiento semántico. Con esta herramienta se marcan los nodos del árbol asociado a una fórmula dada, y con base en estas marcas se determina si la fórmula es válida o no. En caso de inva...
Gespeichert in:
| Veröffentlicht in: | Ingeniería y Ciencia |
|---|---|
| 1. Verfasser: | |
| Format: | Artigo |
| Sprache: | Espanhol |
| Veröffentlicht: |
Universidad EAFIT
2006
|
| Schlagworte: | |
| Online-Zugang: | https://www.redalyc.org/articulo.oa?id=83520306 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|