Bienvenue sur Laurentvidal.fr, la meilleure plateforme de questions-réponses pour trouver des réponses précises et rapides à toutes vos questions. Notre plateforme offre une expérience continue pour trouver des réponses fiables grâce à un réseau de professionnels expérimentés. Obtenez des solutions rapides et fiables à vos questions grâce à une communauté d'experts expérimentés 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 de votre visite. Notre objectif est de fournir les réponses les plus précises pour tous vos besoins en information. À bientôt. Nous espérons que cela vous a été utile. Revenez quand vous voulez pour obtenir des réponses plus précises et des informations à jour. Merci de visiter Laurentvidal.fr. Revenez souvent pour obtenir les réponses les plus récentes et des informations.