El texto dedica especial atención al análisis de las diferentes clases de razonamientos inductivos, al estudio y aplicación de las reglas de inferencia y de los criterios de validez de razonamientos deductivos, a las técnicas de demostración, y a dos importantes temas de aplicación: la teoría de conjuntos y las álgebras de Boole.
Contenido:
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.
0 comentarios:
Publicar un comentario