|
|
|
|
|
|
· Programa de la asignatura [Enlace]
· Tema 1.1: Presentación e Introducción a la Lógica [Enlace]
· Tema 1.2: El lenguaje de la lógica de proposiciones [Enlace]
· Tema 1.3: Semántica de la lógica de proposiciones [Enlace]
· Tema 1.4: Tautologías, contradicciones y contingencias [Enlace]
· Tema 1.5: Validez de argumentaciones. Consecuencia lógica [Enlace]
· Tema 1.6: Equivalencia lógica. Leyes algebraicas de Boole. [Enlace]
· Tema 1.7: Conjuntos completos de conectivas [Enlace]
· Tema 1.8: Formas normales conjuntiva y disyuntiva [Enlace]
· Tema 1.9: Tableaux semánticos para la lógica de proposiciones [Enlace]
· Tema 1.10: Corrección y completitud de la deducción con tableaux [Enlace]
· Tema 2.1: Introducción al lenguaje de la lógica de primer orden [Enlace]
· Tema 2.2: Sintaxis de la lógica de primer orden [Enlace]
· Tema 2.3: Semántica de la lógica de primer orden [Enlace]
· Tema 2.4: Sustituciones. Lema de sustitución [Enlace]
· Tema 2.5: Validez lógica y consecuencia lógica [Enlace]
· Tema 2.6: Equivalencia lógica. Leyes de los cuantificadores [Enlace]
· Tema 2.7: Tableaux semánticos para la lógica de primer orden [Enlace]
|
|
|
|
