Lógica y argumentación
Bustamante Arias, Alfonso
Lógica y argumentación : de los argumentos inductivos a las álgebras de Boole / Alfonso Bustamante Arias . -- 1a ed. . -- Cali : Pearson Educación, 2009 . -- xvl, 274 p. : il. ; 23 cm.
Nota de bibliografía : Incluye bibliografía.
Nota de contenido : 1. Lógica y argumentación ; 2. El silogismo categórico ; 3. Lógica simbólica. Lógica proposicional ; 4. Lógica simbólica-Fundamentos de cálculo de predicados ; 5. Demostración formal y álgebras de Boole
.
Reseña : Este libro se pensó como una contribución a la capacidad de análisis crítico de los razonamientos propios o ajenos, desde el punto de vista de su fuerza o de su validez, y al gusto por la argumentación clara y precisa. Presta especial atención a los razonamientos deductivos y a los criterios de validez de los mismos, aportados por la lógica simbólica. En su último capítulo, se hace una breve presentación de las técnicas de prueba propias de la matemática como ciencia deductiva, y de su uso en casos particulares de álgebras de Boole como son el álgebra de conjuntos y el álgebra binaria para la descripción de los circuitos lógicos.
9786074422092
Álgebra booleana
Cálculo
Lógica simbólica y matemática
Matemáticas
Silogismo
511.324 / B877l
Libro Colección General / Ej.1 / 0000000081296 / Central Bogotá / 511.322 B871
Libro Colección General / Ej.2 / 0000000081295 / Ingeniería Bogotá / 511.324 B877l
Lógica y argumentación : de los argumentos inductivos a las álgebras de Boole / Alfonso Bustamante Arias . -- 1a ed. . -- Cali : Pearson Educación, 2009 . -- xvl, 274 p. : il. ; 23 cm.
Nota de bibliografía : Incluye bibliografía.
Nota de contenido : 1. Lógica y argumentación ; 2. El silogismo categórico ; 3. Lógica simbólica. Lógica proposicional ; 4. Lógica simbólica-Fundamentos de cálculo de predicados ; 5. Demostración formal y álgebras de Boole
.
Reseña : Este libro se pensó como una contribución a la capacidad de análisis crítico de los razonamientos propios o ajenos, desde el punto de vista de su fuerza o de su validez, y al gusto por la argumentación clara y precisa. Presta especial atención a los razonamientos deductivos y a los criterios de validez de los mismos, aportados por la lógica simbólica. En su último capítulo, se hace una breve presentación de las técnicas de prueba propias de la matemática como ciencia deductiva, y de su uso en casos particulares de álgebras de Boole como son el álgebra de conjuntos y el álgebra binaria para la descripción de los circuitos lógicos.
9786074422092
Álgebra booleana
Cálculo
Lógica simbólica y matemática
Matemáticas
Silogismo
511.324 / B877l
Libro Colección General / Ej.1 / 0000000081296 / Central Bogotá / 511.322 B871
Libro Colección General / Ej.2 / 0000000081295 / Ingeniería Bogotá / 511.324 B877l