Los deberes para hoy son los siguientes:

• Repasad vuestros apuntes sobre la discusión de por qué de un argumento falso se pueden extraer conclusiones falsas y verdaderas. Si no lo entendéis todavía, podéis buscar en internet al respecto. Sobre los razonamientos en general, os dejo el siguiente enlace:

https://www.futurelearn.com/courses/logical-and-critical-thinking/0/steps/9153

• Escribid con detalle el teorema 1.4.15.
• Estudiad la definición 1.4.16. A continuación, leed el teorema 1.4.17, entendedlo y dar una prueba (que es muy sencilla) del apartado (3); del resto, no hace falta.
• Probad el teorema 1.4.20 entero. Vuestra prueba ha de basarse en las definiciones previas, estar escritas en castellano mayormente, y ser lógicamente correcta.
• Leed y entended el teorema 1.4.22 (sin probarlo). Haced el ejercicio 1.4.23.
• Estudiad las equivalencias 1.4.24. Si os sentís bravos, haced el 1.4.25.