petit ex

démontre que
(A-B=A-C)A-B (barre) = A - C (barre)

j'attends
votre réponse

alooooooooooorrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrsssssssssssssssssssssssssssss

démontre que
A-B(barre)= A-C(barre)<=>(A-B=A-C)

je n'ai pas compris la question ^^'

aaaah bon ca y est pardon ^^' je l'ai enfin compris

oui c simple
voila on :A = B donc A inclu dans B et B inclut dans A
don A bar et inclut dans B bar et A bar inclut dans B bar
donc A bar = B bar[/img]

peut être mais je l'avais fait avec une autre méthode

main non c'est pas ça la question car la question est de démontre:
on a:A-B=A-C et on veut A-B(barre)=A-C(barre)

main non c'est pas ça la question car la question est de démontre:
on a:A-B=A-C et on veut A-B(barre)=A-C(barre)

yahya01 a écrit:

démontre que
A-B=A-C ==> A-{B (barre)} = A {- C (barre)}

tu veux dire : A-B=A-C ==> A^B=A^C ?

A-B=A-C ==> : A(barre) UB = A(Barre) UC
==> : A ^ ( A(barre) UB) = A^( A(barre)UC)
==> : ( A^A(barre)) U( A^B) = ( A^A(barre)) U ( A^C)
==> : A^B=A^C , on effet ona une équivalence , juste remplacer : (B,C) par ( B(barre) , C(barre))