Forum de Mathématiques: Maths-Forum

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

que veux tu dire par la?

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...