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...
Na minha lista:
| Publicado no: | Ingeniería y Ciencia |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Universidad EAFIT
2006
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=83520306 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|