SIBU - SISTEMAS DE BIBLIOTECAS UNICOC
Su carrito está vacío.
Bustamante Arias, Alfonso
Lógica y argumentación : De los argumentos inductivos a las álgebras de Boole / Alfonso Bustamante Arias - 1 Ed. - Bogotá : Pearson , 2009 - 294 Paginas.
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.
Español
9786074422092
Argumentación, retórica, interpretación y hermenéutica
Lógica
Lógica simbólica y matemática
Programa de Derecho
Lógica y argumentación : De los argumentos inductivos a las álgebras de Boole / Alfonso Bustamante Arias - 1 Ed. - Bogotá : Pearson , 2009 - 294 Paginas.
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.
Español
9786074422092
Argumentación, retórica, interpretación y hermenéutica
Lógica
Lógica simbólica y matemática
Programa de Derecho
© 2014 UNICOC | Institución Universitaria Colegios de Colombia - UNICOC
Bogotá D.C. Autopista Norte Km. 20. Teléfono:(571)6683535
Cali: Calle 13 Norte No. 3N-13. Teléfono: (572)6608887
Idiomas: