Portal:Logik/Aussagenlogik
Zur Navigation springen
Zur Suche springen
Aussageform • Aussageschema • Variablen in der Logik • Boolesche Algebra • Logische Aussage • Wahrheitswert • Wahrheitstabelle • Junktor • Konjunktion • Disjunktion • Negation • Negationsnormalform • Konjunktive Normalform • Disjunktive Normalform • Klausel-Normalform • Tautologie • De Morgansche Gesetze • Horn-Formel