Dowód - działanie na zbiorach / Logika ktoś: Mam udowodnić lub zaprzeczyć dane równanie, ale coś mi nie idzie ( albo zaprzeczam to i o tym nie wiem ) A u (B−C) = [(AuB) − C] u (AnC) x∈A v x∈( B − C ) x∈A v ( x∈B x!∈C ) (x∈A v x∈B) (x∈A v x!∈C) I co teraz?

iteRacj@: AU(B−C) = [(AUB)−C]U(A∩C) [(AUB)−C]U(A∩C) = [(AUB)∩C']U(A∩C) = [(A∩C')U(B∩C')]U(A∩C) = (A∩C')U(A∩C)U(B∩C') = AU(B∩C') = AU(B−C)

Ktoś: (A∩C')U(A∩C)U(B∩C') = AU(B∩C') Nie rozumiem tego przejścia

iteRacj@: (A∩C')U(A∩C) = A czy to jest jasne?

iteRacj@: tak będzie jaśniej (A∩C')U(A∩C) = (CUC')∩A = Ω∩A = A

ktoś: Tak jasne jest dzięki.