Search Results

Explicaciones relativas al examen del año 2024 número 25390101

Examen solucionado. Explicaciones.

Explicaciones relativas al examen de Lengua Extranjera Alemán I del 28.01.22

Explicaciones sobre los verbos modales "wollen", "können" y "mögen"

actividad del bloque 4

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).

Tema 1 (II): algunos ejercicios de argumentos de "Formas Lógicas"

Tema 2 (introduccion): lenguaje de LP (lógica proposicional): variables, conectivas, símbolos auxiliares y reglas de formación. Incluye claves sobre la estructura de una fórmula, el uso de paréntesis y cómo "leer" una fórmula de LP.