Ecriture mathématique avec des prédicats

[Elrachal]

Bonjour
Je dois démontrer que
;)x(P(x)) ;) ;)x(Q(x)) et ;)x(;)y(P(x) ;)Q(y))) sont équivalents
Mais je ne vois pas par quel bout commencer.

Est ce qu'il faut que montre que le contraire est equivalent?
Est ce qu'il faut que j'utilise l'aglebre de boole?
Est ce qu'il faut que je manipule une des deux expressions de manière à obtenir l'autre en respectant les regles de permutations, d'inverse ,d'application?

Si quelqu'un voit comment faire, je luis saurai gré de m'indiquer la voie à suivre

Je vous remercie d'avance pour vos réponses

Cordialement

Elrachal

[Nightmare]

Salut,

c'est pas plutôt ?

[Elrachal]

que veux tu dire par la?

[Nightmare]

tu introduis un y mais qui n'est présent dans aucune proposition, c'est bizarre.

[Elrachal]

ha effectivement, je ne l'avais pas remarqué, oui je voulais dire :
;)x(;)y(P(x) ;)Q(y))). merci