Argumentación deductiva con diagramas y árboles de forzamiento

Presentación

Capítulo 1
Diagramación de argumentos

1.1 ¿Qué es la lógica?
1.2 Argumentos, premisas y conclusiones
1.3 Diagramas para los argumentos
1.4 Pasajes multi-argumentales
1.5 Ejercicios
1.6 Solución de los ejercicios
1.7 Ejercicios propuestos
1.8 Problemas

Capítulo 2
Representación simbólica de la información

2.1 Conectivos y tablas de verdad
2.2 Ejemplos de representación del conocimiento
2.3 Formas, enunciados y argumentos
2.4 Formas enunciativa tautológicas, contradictorias
2.5 Verdad y validez
2.6 Análisis utilizando tablas de verdad
2.7 Ejercicios

Capítulo 3
Árboles de forzamiento semántico clásico

3.1 Lenguaje de CL
3.2 Árbol de una fórmula
3.3 Marcando los nodos de un árbol
3.4 Reglas derivadas para el forzamiento de marcas
3.5 Ilustraciones
3.6 De árboles de forzamiento a diagramas
3.7 Algunos resultados importantes
3.8 Ejercicios

Capítulo 4
Sistema deductivo para la Lógica Clásica

4.1 Sistema axiomático deductivo para el cálculo proposicional clásico
4.2 Caracterización semántica del cálculo proposicional clásico
4.3 Caracterización del cálculo proposicional clásico con árboles de forzamiento
4.4 Pasando de los árboles a las deducciones
4.5 Sistema de deducción natural
4.6 Ejercicios

Bibliografía