Logiki simboliSimbol Primjer Znaenje konjunkcija (i), logiki produkt; p iq disjunkcija (ili), logika suma; p ili q implikacija; ako vrijedi p onda vrijedi q ekvivalencija; p vrijedi ako i samo ako vrijedi q negacija; ne p

SkupoviSimbol Primjer Znaenje x je element skupa S x nije element od skupa S univerzalni kvantifikator; za svaki element x iz skupa S kvantifikator egzistencije; postoji a u S postoji a u S i jedinstven je nepostoji a u S {:} ili { | } skup svih x iz S koji imaju svojstvo P A je podskup od S A je pravi podskup od S ili ili prazan skup unija skupova A i B Presjek skupova A i B razlika skupova A i B Kartezijev produkt skupova A i B supremum skupa S max min U AC ili ili ili maxS minS U AC ili ili ili infimum skupa S maksimum skupa S minimum skupa S univerzalni skup komplement skupa A ( U-A ) skup svih prirodnih brojeva skup svih cijelih brojeva skup svih racionalnih brojeva

ili ili

ili ili

skup svih racionalnih brojeva skup svih kompleksnih brojeva beskonanost

UreajSimbol > ili < ili Primjer x>y Znaenje x je vee od y x je manje ili jednako y

FunkcijeSimbol Primjer Znaenje funkcija sa A u B funkcija koja elementu x pridruuje f(x) domena, tj. podruje definicije funkcije f kodomena, tj. podruje vrijednosti funkcije f slika funkcije f kompozicija funkcija f i g f |1 1

f f|A |a| f

inverzna funkcija od f restrikcija funkcije f na skup A funkcija apsolutne vrijednosti broja a, jo abs(a) graf funkcija f

|a| f