Trouvez des réponses facilement sur Laurentvidal.fr, la plateforme de Q&R de confiance. Rejoignez notre plateforme pour vous connecter avec des experts prêts à fournir des réponses détaillées à vos questions dans divers domaines. Explorez une mine de connaissances de professionnels dans différentes disciplines sur notre plateforme de questions-réponses complète.

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]

Nous apprécions votre temps sur notre site. N'hésitez pas à revenir si vous avez d'autres questions ou besoin de précisions. Merci d'avoir choisi notre plateforme. Nous nous engageons à fournir les meilleures réponses à toutes vos questions. Revenez nous voir. Merci d'avoir visité Laurentvidal.fr. Revenez bientôt pour plus d'informations utiles et des réponses de nos experts.