|
Lógica I | |
|
| | |
NOTA IMPORTANTE (especialmente para quienes apenas asisten a clase): Pinchando en los diferentes vínculos bajo MATERIAL DE CLASE accedes al material empleado en clase como apoyo para la explicación de los distintos temas (en formato PowerPoint). No constituye ni siquiera unos apuntes decentes de la asignatura y de su lectura es virtualmente imposible obtener una comprensión suficiente de las cuestiones explicadas. Para esto último es necesario asistir a clase y leer el libro de texto: J. A. Díez Calzada (2002) Iniciación a la lógica, Barcelona: Ariel. Cada tema corresponde, aproximadamente, a un capítulo de este libro. Pinchando en los vínculos bajo EJERCICIOS, accedes a los ejercicios del libro y a sus correspondientes soluciones (en formato Word). |
|||
TEMAS |
MATERIAL DE CLASE |
EJERCICIOS DEL LIBRO
|
EJERCICIOS DE REPASO |
| 1. Conceptos introductorios: Argumentación y formalización | |||
| 2. El lenguaje de la lógica proposicional | |||
| 3. Semántica de la lógica proposicional | |||
| 4. Cálculo deductivo en lógica proposicional | |||
| 5. El lenguaje de la lógica de primer orden (capítulo 6 en Díez Calzada) | |||
| 6. Cálculo deductivo en lógica de primer orden (capítulo 8 en Díez Calzada) | Ejercicios de deducción del tema 6 con soluciones Ejercicios de argumentos formalizados y demostrados del tema 6 con soluciones (abajo hay más ejercicios relacionados) |
||
| Ejemplos de exámenes de lógica proposicional: |
|||
Ejemplos de exámenes de lógica de primer orden + teoría: (curso 2004/05) (curso 2005/06) (curso 2006/07) (curso 2007/08) |
|||
| Ejercicio de repaso de nociones teóricas con soluciones (curso 2006/07) | |||
| Formalizaciones y deducciones explicadas | |||
| Consejos para realizar deducciones: proposicional y primer orden | |||
| TEXTO: Lo que la Tortuga le dijo a Aquiles, cuento de Lewis Carroll | |||
PÁGINA EN CONSTRUCCIÓN