RELATO DESDE EL SALÓN DE ACTOS.

En este enlace encontraréis un ejemplo de cómo construir un relato a partir de una foto.

LAS VICISITUDES DEL DETECTIVE MARTÍNEZ.

Vamos al nuevo caso:

• o el crimen se cometió de noche en la más absoluta oscuridad [p] o el principal sospechoso es ciego[q]
• pero o el principal sospechoso no es ciego, o miente al declarar que no vio nada [r]
• pero o no miente o el detector de mentiras "Martinez's" está estropeado [s]
• el caso es que el citado detector es infalible (no puede estar estropeado jamás).

¿Miente o no miente el sospechoso? ¿Es ciego o no lo es? ¿Se cometió el crimen de día o de noche?
Os recuerdo que el detective Martínez, ese día, se bebió tres gin-tonic's.

LAS COSAS DEL DETECTIVE MARTÍNEZ.

Seguimos intentando ayudar a nuestros amigos a aclararse en sus ideas. Por lo que sabemos, el detective Martínez sigue buscando un caso del que ocuparse, siempre y cuando sea un asesinato (cualquier otro asunto no es de su interés).
Buscando, ha llegado a un domicilio en el que va a plantear sus deducciones. Y estas son las que siguen:

Si se hubiese cometido un crimen en esta casa, ustedes habrían necesitado los servicios del detective Martínez. Y si lo hubieran necesitado, habrían querido ponerse en contacto telefónico con él. Si hubiesen querido telefonearle, habrían buscado su número en las páginas amarillas, habrían descolgado el auricular y habrían marcado su número en el dial.
Si hubiesen hecho todo esto habrían estado perdiendo el tiempo. Pero ustedes niegan haber perdido el tiempo de esa manera, así que concluyo - por "modus tollens" - que en esta casa no se ha cometido crimen alguno. Adiós, buenos días y perdonen.

(Formaliza el enunciado y demuestra que Martínez razona de forma implacable). 

EL LOCO CORAZÓN DE ANGELINES.

El planteamiento es el siguiente:

CORAZÓN LOCO.

Angelines Dobler está agobiada por problemas amorosos. No se aclara. Si ama a Pierre, no ama a don Marcelín, pero si ni ama a don Marcelín, ama a Robert. Si ama a Robert, deja de amar a Vincent, pero si no ama a Vincent, entonces ama a François, el lechero de la esquina.

Angelines, por favor, la increpamos, ¿es que no está segura de tus sentimientos?

• Una cosa es cierta – nos responde - . Estoy segura de que amo a Pierre.

¿Podrías ayudarla aclarando sus ideas?

El primer paso a dar es lo que se denomina formalización. Por formalización entendemos en proceso de asignar a cada proposición una letra, y después 'traducir a lenguaje lógico' el texto.. En este caso el proceso es:

1.- Asignar letras a las proposiciones. Podemos hacerlo de dos formas: partir de p y continuar, q, r, s,..., o también asignar letras de modo mnemotécnico, que nos ayuden a recordar qué afirman. En esta ocasión opto por el segundo:

• p: Angelines ama a Pierre,
• m: A. ama a Don Marcelín,
• r: A. a Robert,
• v: A. ama a Vincent,
• f: A. ama a François.

2.- 'Traducir a lenguaje lógico':

• 1 p → ¬m
• 2 ¬m → r
• 3 r → ¬v
• 4 ¬v →f
• 5 p

3.- Ya solo queda resolver mediante el M.P.

LÓGICA PROPOSICIONAL.

Comenzamos en esta semana las sesiones sobre Lógica Proposicional. A partir de las pequeñas adivinanzas que hacemos en clase intentaremos adentrarnos en el pensamiento lógico, un pensamiento que es más común de lo que pensamos y que estas adivinanzas dejan en claro.
En este blog y en algún que otro sitio que ya os indicaré irán apareciendo los ejercicios y actividades a realizar.