Lógica y MD - 19/20
En primer lugar, quería apuntar un par de erratas y una omisión. En el fichero pdf que está en esta página está todo corregido. La omisión es la definición de fórmula contingente.
En cuanto a las erratas, estas estaban en los teoremas 1.4.19 y 1.4.20, cuya forma correcta es la de abajo.
Dicho lo anterior, los deberes para hoy son los siguientes:
- Repasad lo visto en clase, en especial el problema 1.4.1 y 1.4.4., que os ha costado entender.
- Poned los ejemplos de que a partir de unas premisas falsas se puede concluir algo cierto o algo falso. Poned un ejemplo de cada.
- Estudiaos (repasad) desde la definición 1.4.5 hasta el teorema 1.4.15.
