Jueves 14 Mayo.



  A.-Repaso lógica de enunciados:
     La lógica de enunciados analiza la relación entre enunciados  elementales  (atómicos) para formar enunciados compuestos (moleculares). Esto se realiza mediante conectores como "y" (conjunción), "o" (disyunción), "si...entonces.." (condicional simple etc,  y también es importante la la negación de un  enunciado (negación), esta tiene la particularidad de que no combina dos enunciados, sino que se aplica a uno de ellos.
     Las condiciones bajo las cuales una relación de enunciados puede ser verdadera o falsa se expresa mediante la elaboración de las "tablas de verdad": en ellas se reconstruyen todas las combinaciones posibles de los valores de verdad de las proposiciones (empleando 1 para verdadero y 0 para falso) y se comprueba qué valor tiene la combinación correspondiente, porque la lógica clásica sólo se dan dos valores de verdad. verdadero o falso, porque sigue el principio de contradicción (tertium non datur): dos enunciados contradictorios entre sí no pueden ser verdaderos al mismo tiempo.

 EJercicios: Siguiendo las definiciones de los conectores que ya habíamos  dado, elabora las tablas de verdad :
  -de la disynción.
  -de la negación-
  -transforma el enunciado siguiente en una forma lógica y, con tablas de verdad, comprueba si es una tautología, una contingencia o una contradicción: "cuando el grajo vuela vajo sobre el prado, el tiempo cambia o permanece igual.
   - lo mismo con: Todas las profecías sobre el fin del mundo han resultado ser falsas.

Nota: recordad que el número de valores  es igual a 2 elevado al número de variables distintas.  Por ej. si sólo hay una variable  p v¬p tendremos 2 elevado a 1= 2;  si fuesen 2, sería 2  elevado a 2=4 (p v q), si existiesen 3, 2 elevado, 3=8 (p v q v r) y así  sucesivamente.º