Logique.

[invite93fb03ef]

Bonjour

P1 : pour chaque x on a (p=>q)
P2 : (pour chaque x / p ) => q

Est ce que les 2 veulent dire la meme chose?

Conseil : traduisez les propositions en signes pour vous faliciter la tache.

Merci .
-----

[fritzlm]

C'est quoi x/p?

[invite93fb03ef]

Bonjour :

x / p veut dire x tel que p (ou p(x)) est vraie.

Merci.