Introducción a la lógica
Trelles Montero, Oscar.
Introducción a la lógica - 2a. ed. - Lima PUCP 2000 - 388 Sí
1. Conceptos básicos. 2.Lógica proposicional: aspectos semánticos. 3. Simbolización y aplicaciones. 4. Consecuencia semántica. 5. Lógica cuantificacional: introducción. 6. Simbolización. 7. Inferencias clásicas. 8. El sistema de deducción natural proposicional. 9. Lógica cuantificacional: el método DN. 10. El sistema de diagramas sintácticos (SDS). Clave de ejercicios de repaso. Bibliografía. Indice de términos.
6979
160/T79
Introducción a la lógica - 2a. ed. - Lima PUCP 2000 - 388 Sí
1. Conceptos básicos. 2.Lógica proposicional: aspectos semánticos. 3. Simbolización y aplicaciones. 4. Consecuencia semántica. 5. Lógica cuantificacional: introducción. 6. Simbolización. 7. Inferencias clásicas. 8. El sistema de deducción natural proposicional. 9. Lógica cuantificacional: el método DN. 10. El sistema de diagramas sintácticos (SDS). Clave de ejercicios de repaso. Bibliografía. Indice de términos.
6979
160/T79