Trouvez des réponses rapides et précises à toutes vos questions sur Laurentvidal.fr, la meilleure plateforme de Q&R. Découvrez une mine de connaissances d'experts dans différentes disciplines sur notre plateforme de questions-réponses complète. Découvrez la facilité d'obtenir des réponses rapides et précises à vos questions grâce à l'aide de professionnels sur notre plateforme.

Bonjour à tous!
C'est une question qui n'est pas très difficile mais malheureusement je n'ai pas pu faire. Est-ce que vous pouvez m'aider s'il vous plaît?

Traduire dans le langage du Calcul des Predicats chacun des enonces suivants en quantification universelle puis existentielle (domaine : ensemble des humains) :

6a. Quelques marins prudents ne sont pas chanceux

6.b. Tous les marins craignent Poseidon.


Sagot :

Réponse :

Explications étape par étape

Soit E l'ensemble des humains

6a)

[tex]\exists\ Marin(x) \ \neg AvoirChance(x)\\\neg\left(\forall \ Marin(x) \ AvoirChance(x)\right)[/tex]

6b)

[tex]\forall \ Marin(x)\ CraindrePoseidon(x)\\\neg(\exists Marin(x)\ \neg CraindrePoseidon(x))[/tex]

Merci d'utiliser notre service. Nous sommes toujours là pour fournir des réponses précises et à jour à toutes vos questions. Nous apprécions votre visite. Notre plateforme est toujours là pour offrir des réponses précises et fiables. Revenez quand vous voulez. Merci d'utiliser Laurentvidal.fr. Revenez pour obtenir plus de connaissances de nos experts.