Logique

[vnc456]

Bonjour à tous je n'arrive pas à résoudre cette exercice, est-ce que quelqu'un peux m'aider.

Voici l'énoncé :

On considère les formules suivantes :
Pour tout y il existe x, P(x,y)=> il existe x, Pour tout y P(x,y)
il existe x, Pour tout y, P(x,y)=> Pour tout y, il existe x, P(x,y)

Ces formules sont-elles vraies ? Sont-elles prouvables ? Si oui, construire la preuve, sinon, expliquer
pourquoi la preuve est impossible.

Merci d'avance!

[Monsieur23]

Aloha,

À quel niveau es-tu ?

Quelle(s) formule(s) te semble(nt) vraie(s) ?
Pourquoi ?