formaliza y prueba

Tenemos tres chicas, Ana, Luisa y Diana. Supóngase que se dan los siguientes hechos:

1. Amo al menos a una de las tres chicas
2. Si amo a Ana pero no a Diana, entonces amo también a Luisa
3. O bien amo a Diana y a Luisa, o bien no amo a ninguna
4. Si amo a Diana, entonces amo también a Ana

¿A cuál de las chicas amo?


Formaliza y prueba.

Solución: anadianayluisa.pps

Y en una próxima sesión la pueba deductiva...
(si te impacientas inténtalo tú mismo)...