Graafid ja matemaatiline loogika eksamimaterjal
valemina milles ei ole muid tehtemärke kui &, ja
o Boole'i funktsioon on funktsioon (x1 , ... , xn ):{0,1} {0,1}. Ka
tõeväärtustel defineeritud funktsioone võib vaadelda Boole'i
funktsioonidena, iga lausearvutuse tehe on Boole'i funktsioon
Venni diagrammide leidmine tähendab, et viime vaadeldavad avaldised
TDNK-le, et neid saaks võrrelda
3. PREDIKAADID JA KVANTORID
Hulgal M määratud n-kohaliseks predikaadiks nimetatakse kujtust P: Mn
-> {1,0}
o Hulka, millel predikaat on määratud, nimetatakse selle predikaadi
indiviidide piirkonnaks
o Vastavalt predikaadi definitsioonile saame igale predikaadile seada
vastavusse tema tõesuspiirkonna = { (1, ... , ) |P(1, ... , ) = }
Olgu P(1, ... , ) hulgal defineeritud -kohaline predikaat. Siis iga
korral tähistavad P(1, ... , ) ja P(1, ... , ) järgmisi ( - 1)-kohalisi
predikaate:
o P(1, ... , ) = {t, kui x1, ..
annaabi.ee 
