TY  - BOOK
AU  - Páez,Andrés
AU  - Rodríguez,Alejandra
ED  - Az Estudio, 
ED  - Editer Estrategias Educativas Ltda., 
TI  - Introducción a la lógica moderna / 
SN  - 9789586955423
AV  - QA 9  .P34 2010
PY  - 2010///
CY  - Bogotá D.C. : 
PB  - Universidad de los Andes, Departamento de Filosofía, Faculta de Ciencias Sociales. Ceso, 
KW  - Lógica matemática
N1  - Prefacio, xiii --; 1. Conceptos básicos de la lógica, 1 --; Primera parte. La lógica proposicional --; 2. Introducción a la lógica proposicional, 31 --; 3. Semántica del lenguaje LP, 57 --; 4. Árboles de verdad de LP, 84 --; 5. Deducción natural en LP, 109 --; Segunda parte. La lógica de primer orden --; 6. Introducción a la lógica de predicados, 147 --; 7. Semántica del lenguaje LC, 212 --; 8. Árboles de verdad de LC, 263 --; 9. Deducción natural en LC, 296 --; Tercera parte. La lógica modal proposicional --; 10. Introducción a la lógica modal, 331 --; 11. Árboles de verdad modales, 356 --; 12. Deducción natural modal, 375 --; Apéndice. Respuestas a los ejercicios pares, 389 --; Bibliografía, 523
N2  - Es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la lógica un área de estudio interesante en sí misma. El libro está dividido en tres partes. La primera se ocupa de la lógica proposicional, la segunda de la lógica de primer orden y la tercera de la lógica modal proposicional. Los tres temas se estudian semánticamente utilizando árboles de verdad, y sintácticamente a través de sistemas de deducción natural. Al final de cada sección hay numerosos ejercicios de práctica, la mitad de los cuales son resueltos en el apéndice. El texto está diseñado para un curso de un año de duración y permite gran flexibilidad en el diseño del mismo
ER  -