2. Semantik

Atome = einfache Aussagen

-> die Atome werden mit den Werten 0 und 1 belegt

1. Wie viele Zeilen? -> 2 hoch n (A & B) = 4 Zeilen

2. Für Spalte A: 1 1 0 0

3. Für Spalte B: 1 0 1 0 (Muster halbieren)

= wenn ein Satz für jede Belegung wahr ist

(-> Wahrheitswert ist immer 1)

= wenn ein Satz für jede Belegung falsch ist

(-> Wahrheitswert ist immer 0)

= wenn ein Satz keine Tautologie & keine Kontradiktion ist

-> also: wenn der Satz für mind. eine Belegung wahr und für mind. eine falsch ist

-> zwei Sätze sind äquivalent, wenn sie für jede Belegung denselben Wahrheitswert aufweisen

wir schreiben: a <-> ß

-> eine Menge von Sätzen ist konsistent, wenn mind. eine Belegung existiert für die alle Sätze dieser Menge wahr sind

-> eine konsistente Menge nennt man erfüllbar