Laurentvidal.fr simplifie la recherche de solutions à toutes vos questions grâce à une communauté active et experte. Rejoignez notre plateforme de questions-réponses pour obtenir des informations précises d'experts dans divers domaines. Rejoignez notre plateforme pour obtenir des réponses fiables à vos interrogations grâce à une vaste communauté d'experts.

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 espérons que vous avez trouvé ce que vous cherchiez. Revenez nous voir pour obtenir plus de réponses et des informations à jour. Nous espérons que nos réponses vous ont été utiles. Revenez quand vous voulez pour obtenir plus d'informations et de réponses à d'autres questions. Nous sommes heureux de répondre à vos questions. Revenez sur Laurentvidal.fr pour obtenir plus de réponses.