Bonjour à tous, Je veux montrer l'équivalence suivante:
A ∩ B = A ∩ C ⇐⇒ A ∩ B(barre) = A ∩ C(barre).
Je suis parvenu à montrer la réciproque de cette équivalence mais pas l'implication.
Voici ce que j'ai fait: A ∩ B(barre) = A\B
Donc A ∩ B(barre) = A ∩ C(barre)
=> A\B = A\C
=> A\(A\B) = A\(A\C)
=> A ∩ B = A ∩ C.
Cela me semble correct. Par contre pour l'implication, je ne sais pas comment m'y prendre. Je sollicite donc l'aide de ceux qui liront ce message.
-----