Málaga-Campus Sur - Lógica I(70012105)

TEMA 1 (I): Verdad y Validez. Repaso de nociones básicas: inferencia, argumento, tipos de lenguajes, proposición, fórmula, validez formal, verdad y otras.

Repaso de deducción natural y realización de ejercicios con la regla eliminación de la disyunción.

Resumen tema 5 (sistema axiomático para lógica de enunciados) y términos del glosario.

TEma 4 (III): realización de ejercicios de Deducción Natural con supuestos.

Explicación de reglas derivadas (incidiendo en las estrategias) y realización de ejercicios.

Tema 4(I): Qué es deducción natural y explicación reglas básicas. Realización de 2 ejercicios y 3 más como ejercicio para la semana que viene.

Realización de árboles semánticos, repaso tema 3; inicio tema 4 (deducción natural).

Tema 3 (II): repaso estructura fórmula (ejercicio de colocar paréntesis) y resolución de una tabla de verdad. Se adjuntas ejercicios resueltos del documento de tablas de verdad de la semana pasada.

Explicación del método de los árboles semánticos (Tableaux) con apuntes que se proporcionan en este vídeo.

Tema 3: Tablas de verdad. Explicación de la estructura de una fórmula, método de evaluación semántica, verdad de los operadores y dos tablas de verdad resueltas.

Tema 2 (II): aclaración entre "formalizar" e "interpretar" fórmulas y/o argumentos, formas de expresar la implicación y ejemplos concretos de ejercicios, a raíz de las dudas de los estudiantes presentes.

Tema 2(II): formalización del lenguaje natural, explicación de operadores (negación, conjunción, disyunción, implicación y coimplicación) y la verdad en los operadores (tablas).