Argumentación deductiva con diagramas y árboles de forzamiento /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Medellín :
Fondo Editorial Universidad EAFIT,
c2010.
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Diagramación de argumentos
- Representación simbólica de la información
- Árboles de forzamiento semántico clásico
- Sistema deductivo para la lógica clásica.