Aussagenlogik

Zweiwertige Aussagenlogik beinhaltet die Wahrheitswerte "wahr" und "falsch".

Aussagenvariablen

z.B. A, B, C

Operatoren

Λ = und Operator / Konjunktion

V = oder Operator / Disjunktion

¬ = nicht Operator / Negation

weitere Operatoren

= aus . folgt . Operator / Implikation

= ungleich Operator / Antivalenz

De Morgan'sche Regeln

Wahrheitstabelle für de Morgan'sche Regeln

Diese Wahrheitstabelle zeigt wie der Logische Ausdruck A ist äquivalent zu B mit not, and und or ausgedrückt wird.

Mehrere Verknüpfungen ergeben Formeln!

Eine Aussage mit der Variablen x anstelle einer Konstanten (A, B, C) ist eine Aussageform A(x).

Allaussage = Allquantor

Existenzaussage = Existenzquantor