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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad EAFIT
2006-06-01
|
| Series: | Ingeniería y Ciencia |
| Subjects: | |
| Online Access: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487 |