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.
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.