axiom, definice, věta Logický součin A konjunkce, logický součet V disjunkce, Zákon vyloučení třetího - negace disjunkce, Zákon sporu - negace konjunkce, Komutativní zákon, asociativní zákon, distributivní zákon - dodatek a+bc=(a+b) (a+c) a ab + c = (a+c)(b+c) DeMorgenovy zákony (¬(A a B) ¬A V ¬B, ¬(A V B) ¬A a ¬B, Číselné množiny N, Z, Q, R, I, Prázdná množin ∅= { }

- nemá žádné prvky, {∅} - jednoprvková množina obsahující prázdnou množinu {∅;{∅}} dvouprvková množina obsahující prázdnou množinu - atd.