Hoy día 16 de Enero de 2013 hemos empezado la clase de filosofía corrigiendo dos de los ejercicios que había que realizar sobre los enigmas que se encontraban en este blog.
Uno de ellos era: Dos monedas suman tres euros, y, sin embargo, una de ellas no es de un euro. ¿Qué monedas son? 

Y el otro: El señor Smith y su hijo George iban en un coche y tuvieron un accidente. El padre murió en el acto y el hijo quedó gravemente herido. Se le ingresó en el hospital y se avisó al cirujano de guardia para que le operase de urgencia. Cuando llegó y vio al herido dijo: ¡No puedo operarle, este es mi hijo George! ¿Cómo se explica esto?

Y el último del barbero que se encuentra en el libro de filosofía. De este ultimo no hemos encontrado respuesta con lo que el profesor lo ha mandado de tarea junto a otras más que diré más adelante.

Más tarde el profesor ha explicado el lenguaje de la lógica y sus elementos

La cual se vale de unos elementos básicos que representan proposiciones o enunciados: p, q, r, s, t...

Por ejemplo: Juan estudia filosofía. (p) Pepe tira la basura. (q)

Estos elementos son de dos tipos:

• Símbolos no lógicos:

- Las variables: son las letras que representan las proposiciones 

- Símbolos auxiliares: como los paréntesis, los corchetes...

• Símbolos lógicos:

- Negador: ¬ (se lee ''no'') Ejemplo: no p = ¬p

- Conectivas. Son de varios tipos:

Conjunción

Para conectar dichas proposiciones podemos decir que ocurren a la vez, entonces: p y q, ó no p no q.

Conjuntor: p ^ q. 

Se sustituye ''y'' por conjuntor (Se lee: p y q) 

Disyunción 

Supongamos que queremos decir las dos proposiciones pasen alternativamente y no a la vez, pues debemos poner: p o q.

Disyuntor: p v q. 

Se sustituye ''o'' por disyuntor (Se lee: p ó q)

Condicional

Es una relación de consecuencia. Siguiendo el ejemplo anterior, si uno saca la basura otro debe estudiar, con lo cual: si p entonces q.

Condicionador o implicador: p --> q. 

Se sustituye ''entonces'' por condicionador o implicador. (Se lee: p entonces q.)

Bicondicional

Si se da la primera entonces se da la segunda y si se da la segunda entonces se da la primera. Se dice que hay doble relación de condición: p <--> q.

Bicondicionador o doble condicionador: p <--> q.

(Se lee: Si y sólo si p, entonces q.)

Ejemplo de estas conectivas: Juan no irá al cine (p) y María compra la ropa (q).

¬p ^ q.

No hay que olvidar que P, Q, R, S, T... en MAYUSCULAS son  letras que representan predicado con lo cual no usar en este caso para representar proposiciones.

El profesor ha dictado las REGLAS DE FORMACIÓN DE ENUNCIADOS, que no vienen en nuestro libro y son las siguientes:

1. X, cualquier proposición es un enunciado bien formado (EBF) (p).
2. Si X es un EBF, entonces ¬X también lo es. [¬p, ¬(p ^ q)]
3. Si X e Y son EBF, entonces X^Y también lo es. (p ^ q)
4. Si X e Y son EBF, entonces XvY también lo es. (p v q)
5. Si X e Y son EBF, entonces X-->Y también lo es. (p --> q)
6. Si X e Y son EBF, entonces X<-->Y también lo es. (p <--> q)
7. NINGUNA OTRA EXPRESIÓN ES EBF.

Un enunciado atómico es aquel que está formado por una proposición, todos aquellos que están formados por dos o más proposiciones son enunciados moleculares.

TAREA:

Para el próximo día de la página 127 el ejercicio nº 5, de la página 133 el nº 6 y de las páginas 128 y 129 las actividades, No olvidaros del enigma del barbero que está en la página 121.

Teresa Touriño Fernández.