Quote (Aurox77 @ Sat, Sep 27 2008, 11:44am)
@ceux qui m'ont répondu c'est en partie ça qu'il faut utiliser mais là tu démontre pas l'équivalence, tu démontre juste que AuB = A => (implique) A c B
ca je l'avais fait comme ca aussi mais apres faut montrer que A c B => AuB = A
(en gros tu montre ton équivalence par double inclusion)
et là ca me parrait tellement trivial que no way
Hubbard l'a précisé, il t'a démontré l'implication la plus dure...
La c'est juste évident.
Soit x€AUB
x€A ou x€B, comme B c A, x€A
cqfd
This post was edited by hebus on Sep 27 2008 05:47am