AHopelessboy @ 25-10-2021 à 16:38
En suivant votre démarche je me retrouve avec cela :
A ∩ (E\B) = A ∩ (E\C)
A ∩ (E\B) = A ∩ (E\C)
Ce que tu as écrit là est une tautologie, non le résultat de mon indication
Camélia t'a déjà (à une phrase supplémentaire près) montré le sens
.
Il reste à montrer le sens
Je te faisais remarquer que tu peux appliquer le sens
en remplaçant
par
et
par
.
En effet, si tu supposes que A ∩ (E \ B) = A ∩ (E \ C) (autrement dit, que A∩B' = A∩C')
Alors le sens
dit que A ∩ (E \ B') = A ∩ (E \ C'), c'est-à-dire A∩B = A∩C.
D'où le sens