Advertencias previas:

He cometido algunos errores de edición en las notas. He aquí las correcciones:

1.- Las reglas de inferencias son estas:

2.- En los problemas 1.7.12 a 1.7.15 se habían colado flechas simples como flechas dobles de deducción. En algunos casos no se podía hacer el problema debido a las ambigüedades.

Os pido disculpas por estos descuidos.

Los deberes para hoy son:

1. Haced el mapa mental del tema de lógica de proposiciones (problema 1.8.5.) Usad necesariamente los dos criterios que he dado en clase: de arriba abajo, orden decreciente de abstracción; de izquierda a derecha, orden de presentación.
2. Haced el problema 1.7.15 y el 1.8.1 (1).
3. De los apuntes de lógica de predicados (el enlace está ya bien), haced desde el principio hasta el 1.9.4.