Ensenble , question simple

[naruto-next]

salut,

je veux demontrer qu'un ensemble A = B .

j'ai demontrer que pr x appartenant a A x appartient à B et pour x appartenant a B x appartient a A . j'ai demontrer que A = B ?

car la def c'est plutot :

;) x ;) U (x ;) A ;) x ;) B).

moi j'ai fait plutot ;) x ;) U (x ;) A -> x ;) B et x ;) B -> x ;) A ).

[vincentroumezy]

salut,

je veux demontrer qu'un ensemble A = B .

j'ai demontrer que pr x appartenant a A x appartient à B et pour x appartenant a B x appartient a A . j'ai demontrer que A = B ?

car la def c'est plutot :

x U (x A x B). (1)

moi j'ai fait plutot x U (x A -> x B et x B -> x A ).(2)

Oui, les deux propositions (1) et (2) sont équivalentes.