Wahrheitswerte zusammengesetzter Aussagen

Wichtige Äquivalenzen aussagenlogischer Ausdrücke:

 
äquivalent
äquivalent
äquivalent
äquivalent

Kontradiktion

ist ein aussagenlogischer Ausdruck, welcher nach beliebiger Wertzuweisung zu Aussagevariablen immer den Wert f hat.
Beispiele:

• 
• 
• 

Tautologie

ist ein aussagenlogischer Ausdruck, welcher nach beliebiger Wertzuweisung zu Aussagenvariablen immer den Wert w hat.
Beispiele:

• 
• 
• 

HORN-Klauseln

sind aussagenlogische Ausdrücke der Form:

• ''Regel''
• ''Fakt''