Diskreetse matemaatika elemendid
Vienni diagrammid
o DEF: Hulgateoreetilistele tehetele ja avaldistele vastavaid hulki kujutatakse tihti nn
Venni diagrammide abil, kus hulkadele vastavad joontega piiratud piirkonnad.
Tehete algebralased omadused, nende tõestamine ja kontroll
o Näiteks ühend, ühisosa ja sümmeetriline vahe on kommutatiivsed tehted, aga vahe ei ole
(tuua kontranäide!).
o Mõned samasused saame lausearvutusest otse üle võtta. Ühend, ühisosa ja täiend on
defineeritud vastavalt komponenthulkadesse kuulumise tingimuste disjunktsiooni,
konjunktsiooni ja eituse abil. Seetõttu on neil tehetel nii ühekaupa kui ka omavahelistes
seostes samad omadused, mis vastavatel lausearvutuse tehetel.
o 1. Nagu lausearvutuses disjunktsiooni ja konjunktsiooni vahel, kehtivad ühendi ja ühisosa
vahel kaks distributiivsuse seadust. Aga ühisosa võtmine jaotub ka hulkade vahele ja
sümmeetrilisele vahele.
annaabi.ee 
