Daca M e ste o multime finita,vom nota prin numarul n(M) elementelor sale.fie A,B,C trei multimi.Dovediti ca:n(AUBUC)=n(A)+n(B)+n(C)-[n(AnB)+n(AnC)+n(BnC)]+n(AnBnC)


MULTUMESC

[Citat] Daca M e ste o multime finita,vom nota prin numarul n(M) elementelor sale.fie A,B,C trei multimi.Dovediti ca:n(AUBUC)=n(A)+n(B)+n(C)-[n(AnB)+n(AnC)+n(BnC)]+n(AnBnC) MULTUMESC

Acesta este principiul includerii si excluderii. Ar trebui sa gasesti demonstratia in manual. Daca nu o idee ar fi sa folosesti functiile caracteristice. Functia caracteristica a unei submultimi

se defineste prin

Observi ca

si

Prin urmare

adica

Identitatea

aplicata relatiei de mai sus este echivalenta cu cerinta problemei.