Introducción. a la lógica presenta de manera clara y sencilla los temas y problemas básicos de la lógica moderna. En su desarrollo, el autor expone en base a ejemplos, temas de la lógica proposicional y de la lógica de predicados monódicos. El objetivo es el análisis de validez de inferencias mediante procedimientos decisorios, y la demostración de inferencias válidas por el método de la deducción natural.
Escrito en un estilo fluido y didáctico, este libro se propone introducir al lector de manera gradual y segura al fascinante mundo de la Lógica.
Diógenes Rosales es un profesor de reconocida experiencia. Sus trabajos e investigaciones están dedicados especialmente a temas de la Lógica y Filosofía de la lógica. Es profesor de Lógica de la Universidad Nacional Mayor de San Marcos y de la Pontificia Universidad Católica del Perú.
Author(s): Diógenes Rosales
Edition: 3
Publisher: Amaru Editores
Year: 1994
Language: Spanish
Pages: 290
City: Lima
Introducción a la lógica......Page 1
ÍNDICE......Page 5
Prólogo
......Page 7
Nota a la segunda edición......Page 8
Presentación......Page 9
Nota a la tercera edición......Page 11
Presentación a la tercera edición......Page 13
1. Nociones básicas
......Page 15
Primera parte: Lógica proposicional......Page 31
2. Símbolos, fórmulas y funciones veritativas......Page 33
3. Las tablas de valores
......Page 55
4. Las inferencias......Page 69
5. Formas normales: Conjuntiva y disyuntiva......Page 85
6. El método de la derivación......Page 103
Segunda parte: Lógica de predicados monádicos......Page 125
7. Nociones sobre lógica de clases......Page 127
8. Lógica tradicional......Page 139
9. El método de los diagramas de Venn......Page 165
10. Cuantificación......Page 191
11. Simbolización de proposiciones categóricas e inferencias tradicionales
......Page 215
12. El método de la derivación en la lógica cuantificacional monádica de primer grado......Page 235
Apéndice I: Nociones sobre predicados poliádicos
......Page 253
Apéndice II: Circuitos lógicos......Page 263
Apéndice III: Solución de algunos ejercicios
......Page 273
Bibliografía......Page 285
