Búsqueda avanzada
(por colaborador, editorial, año de edición, formatos)
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
