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: