repondez moi

Bonjour,

1)
Montrons que X Ybarre = X Y :

Supposons que X Ybarre =

Soit t X
Alors t Ybarre (car X Ybarre = )
Alors t (Ybarre)barre
Alors t Y

Donc X Y

2)
On va montrer les 2 implications :

Montrons que A B = A Bbarre :

Supposons que A B =

Soit t A
Alors t B (car A B = )
Alors t Bbarre

Donc A Bbarre

Montrons que A Bbarre A B = :

Supposons que A Bbarre

Soit t A B
t A donc t Bbarre (car A Bbarre)
Donc t B et t Bbarre
C'est impossible
Donc il n'existe pas de t tel que t A B

Donc A B =