Este libro 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 presnetacion 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.
Lógica y argumentación.
El silogismo categórico.
Lógica simbólica.
Lógica proposicional.
Lógica Simbólica.
Fundamentos de cálculo de predicados.
Demostración formal y álgebras de Boole.
No hay comentarios:
Publicar un comentario