Ya he terminado los ejercicios del tema 1. Realmente, ya los había hecho durante el verano, pero decidí repasar y hacerlos todos de nuevo, luego de releer el tema hace unos días.
El tema 1 de 'Lenguaje matemático, conjuntos y números' se ocupa de la lógica proposicional, incluyendo conectores básicos, tablas de verdad y formas clausuladas de proposiciones. El nivel de dificultad de los contenidos y de sus ejercicios me ha parecido razonable en general, aunque alguno de los ejercicios (el 11) no tenía un correlato claro en el tema que ayudase a comezar su resolución.
Cuelgo las imágines de los ejercicios hechos. Cosas que me han costado esfuerzo:
1) Devil is in the details! Un par de veces operando con proposiciones y conectores me despisté y no puse una negación, ¬, con los consiguientes errores.
2) The Unexpected. El ejercicio 11 planteaba que a partir de los resultados de unas tablas de verdad (en forma de un número binario) había que reconstruír dos proposiciones equivalentes a dicha tabla. Como decía, esto no se explicaba con anterioridad.
La clave está en que uno puede emplear conjunciones verdaderas y sumarlas entre sí con disyunciones para generar proposiciones 'generales' que llenan todos los 1s de una tabla de verdad (o inversamente, disyunciones verdaderas y sumarlas entre só con conjunciones para generar todos los 0s).
No hay comentarios:
Publicar un comentario