CAPÍTULO 1: Lógica y argumentación. -- lógica y cotidianidad. -- Frases y proposiciones. -- Razonamiento y argumentación. -- Una clasificación de los razonamientos. -- Razonamientos inductivos. -- CAPÍTULO 2: El silogismo categórico. -- Afirmaciones categóricas y proposiciones categóricas. -- El silogismo categórico. -- Representación de proposiciones categóricas mediante diagramas de Venn. -- Condiciones necesarias, suficientes y suficientes y necesarias. -- Falacias lógicas. -- Problemas lógicos o de razonamiento lógico. -- CAPÍTULO 3: Lógica simbólica . Lógica proposicional. -- El lenguaje de la lógica proposicional, L(P). -- Fórmulas bien formadas. sintaxis en la lógica proposicional. -- Contenido semántico de las fórmulas bien formadas. -- Representación simbólica. -- Conectivos lógicos y tablas de verdad. -- Fórmulas lógicamente equivalentes. -- Equivalencias y cálculo proposicional. -- Consecuencia lógica. -- Razonamiento válido. -- Reglas de inferencia. deducción natural. -- Regla de la deducción. -- Inconsistencia. -- El método indirecto en las pruebas de validez de razonamientos. -- CAPÍTULO 4: Lógica Simbólica - Fundamentos de cálculo de predicados. -- Limitaciones de la lógica proposicional. -- El cálculo de predicados. -- El alfabeto del cálculo de predicados. -- Cuantificadores. -- Interpretaciones en el cálculo de predicados. -- Representación simbólica en el cálculo de predicados. -- Negación de cuantificadores. -- Condiciones suficientes y condiciones necesarias. -- Validez de razonamientos en el cálculo de predicados. -- CAPÍTULO 5: Demostración formal y álgebras de Boole. -- Teoremas y técnicas de demostración. -- Conjuntos . -- Álgebras de Boole.

Unicoc

Español