Aussagenlogik

Elementaraussagen

• Behauptung die entweder wahr oder falsch ist
• Kann verknüpft werden
• Enthält keine Verknüpfungen
• Kann ein Satz sein oder eine mathematische Aussage

KEINE Aussagen im Sinne der Logik:

• Meinungsäußerungen
• Fragestellungen
• Unvollständig
• Variablen

Verknüpfte Aussagen

Konjunktion - UND

• Wahr wenn beide Teilaussagen wahr sind

Disjunktion - ODER

• Wahr wenn mindestens eine Teilaussage wahr ist

Antivalenz - Enweder.. Oder..

• Wahr wenn genau eine Teilaussage wahr ist