Une petite question sur une négation de quantificateur...
Voilà l'énoncé :

-En utilisant x pour

et P(x) pour , écrire les propositions suivantes à l'aide de quantificateurs.

c) Il n'existe pas de chat sans moustaches.

Ma réponse a été par logique x, P(x). Car si il n'existe pas de chat sans moustaches Tous les chats ont des moustaches.

La réponse qui nous est donnée dans le corrigé est la suivante :
(x, P(x))

Est-ce la même chose ou ai-je fait une erreur ?

Merci d'avance