„Primero, resumamos las condiciones:
Si ama a Pierre, no ama a don Marcelín Claraboy.
Si no ama a don Marcelín, ama a Robert.
Si ama a Robert, deja de amar a Vincent.
Si no ama a Vincent, ama a François.
Sabemos que Angelines está segura de que ama a Pierre.
Ahora se formula:
Ama a Pierre (P).
Si ama a Pierre (P), entonces no ama a don Marcelín (¬M).
Si no ama a don Marcelín (¬M), entonces ama a Robert (R).
Si ama a Robert (R), entonces no ama a Vincent (¬V).
Si no ama a Vincent (¬V), entonces ama a François (F).
Resumiendo, si Angelines ama a Pierre, entonces también ama a Robert y a François, pero no ama a don Marcelín ni a Vincent.
Ésta es la lógica liberal;
Enhorabuena
@******d10;
Premio para el caballero :
En el instituto la lógica era otra, pues no se contemplaba la posibilidad de relaciones románticas No monógamas ( de solapamiento), siendo interpretadas únicamente de exclusividad.
Dejo también la solución de los escarceos amorosos de Angelines Dobler ante lo que sería una Monogamia Secuencial:
Sea:
P: Angelines ama a Pierre
Q: Angenlines ama a Marcelín Claraboy
R: Angeniles ama a Robert
S: Angelines ama a Vincent
T: Angelines ama a Francois
Las fórmulas son las siguientes:
1. P -> ¬Q
2. ¬Q -> R
3. R -> ¬S
4. ¬S -> T
5. P
Aplicando Modus Ponens entre 1 y 5:
1. P ->¬Q
5. P
--------------
6. ¬Q
Aplicando Modus Ponens entre 2 y 6:
2. ¬Q -> R
6. ¬Q
-------------
7. R
Aplicando Modus Ponens entre 3 y 7:
3. R -> ¬S
7. R
---------------
8. ¬S
Aplicando Modus Ponens entre 4 y 8:
4. ¬S -> T
8. ¬S
---------------
9. T
Dado que el símbolo T no esta negativo, el resultado de la inferencia siempre será Verdadero.
Luego, se infiere que Angelines ama a Francois.
Si bien, apostaría a que nuestra protagonista es poliamorosa en toda regla.
Espero que os haya gustado el juego.
Un saludo para todxs
