hepsmile1234
Answered

Obtenez les meilleures solutions à toutes vos questions sur Laurentvidal.fr, la plateforme de Q&R de confiance. Explorez des milliers de questions et réponses fournies par une communauté d'experts prêts à vous aider à trouver des solutions. Connectez-vous avec une communauté d'experts prêts à fournir des solutions précises à vos questions de manière rapide et efficace sur notre plateforme conviviale de questions-réponses.

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 :

olivierronat

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'avoir visité notre plateforme. Nous espérons que vous avez trouvé les réponses que vous cherchiez. Revenez quand vous voulez. Merci de votre passage. Nous nous efforçons de fournir les meilleures réponses à toutes vos questions. À la prochaine. Merci de visiter Laurentvidal.fr. Revenez souvent pour obtenir les réponses les plus récentes et des informations.