1.3 Operationen mit Aussagen und Mengen

Negation 
Disjunktion 
Konjunktion 
Kontravalenz 
Äquivalenz 
Implikation 
Semantische Äquivalenz 
Komplement 
Vereinigung 
Durchschnitt 
Differenz 
Symmetrische Differenz 
Paar 
Gleichheit von Paaren 
Kartesisches Produkt 
Kommutativgesetz für Aussagenverknüpfungen 
Assoziativgesetz für Aussagenverknüpfungen 
Distributivgesetz für Aussagenverknüpfungen 
Gesetz von de Morgan für Aussagenverknüpfungen 
weitere Rechengesetze für Aussagenverknüpfungen 
Rechengesetze für Quantoren 
Rechengesetz der Kommutativität für Mengen 
Rechengesetz der Distributivität für Mengen 
Rechengesetz der Assoziativität für Mengen 
Rechengesetz von de Morgan für Mengen  
weitere Rechengesetze für Mengen