En la clase de hoy hemos comenzado con la corrección de los ejercicios de las páginas 128 y 129 sobre Lógica. En el transcurso de la corrección, el profesor ha preguntado: ¿qué es una proposición?, a lo que ha definido como un fragmento de discurso mínimo que tiene sentido.

Al terminar de corregir estos ejercicios, el profesor ha escrito en la pizarra las Reglas de Formación de los Enunciados:
1- Un enunciado atómico (x), es un enunciado bien formado.
2- Un enunciado atómico negado (¬x(, es un enunciado bien formado.
3- Un enunciado de dos proposiciones con un conjuntor (x^y), es un enunciado bien formado.
4- Un enunciado de 2 proposiciones con un disyuntor (x v y), es un enunciado bien formado.
5- Un enunciado de 2 proposiciones con un condicionador (x-->y), es un enunciado bien formado.
6- Un enunciado de 2 proposiciones con un bicondicionador (x<-->y), es un enunciado bien formado.
7- Ningún otro enunciado estará bien formado.

Al final de la clase, el profesor nos manda la actividad 6 de la página 133.

José Manuel Carmet Romero.
1ºBach. B