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.