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