Exercices série 4

Logique des prédicats

1. Traduisez les expressions suivantes dans LPred:
   1. Tous les animaux sont des truites.
   2. Selina a faim.
   3. Selina joue avec Fido.
   4. Personne n’est une île.
   5. Chaque étudiante s’aime.
   6. Chaque étudiante aime une étudiante.
   7. Donald Trump est blond.
   8. Tous les soprani sont des chanteuses.
   9. Aucun baryton n’est une femme.
   10. Tous les chanteurs sont soit des basses, soit des barytons, soit des ténors.
2. Paraphrasez les expressions de LPred suivantes en français:
   1. $\exists x. [cool(x) \land swag(x)]$
   2. $\forall x. [truite(x) \land fumée(x)]$
   3. $\forall x. [rappeur(x) \rightarrow grossier(x)]$
   4. $\forall x. [rappeur(x) \rightarrow \exists y. voiture(y) \land tunée(y) \land conduire(x,y) ]$
   5. $\neg \exists x. rappeur(x) \land truite(x)$
   6. $\exists x. [rappeur(x) \land \neg misogyne(x)]$
   7. $\forall x. [ rappeur(x) \rightarrow \exists y. \exists z. [ [limousine(y) \land chaine(z) \land or(z)] \land [avoir(x,y) \lor avoir(x,z)] ] ]$