Interpretation einer Formel
? Boolesche Ausdrücke sind nur eine syntaktische Konstruktion
?Bedeutung erhält ein Boolescher Ausdruck erst, wenn den Variablen Wahrheitswerte zugeordnet werden. Diese sind aus der Menge {true, false} oder {wahr,falsch } oder {0,1}. => Belegung der Variablen.
? Interpretation (Auswertung) einer Formel bzw. eines Ausdruckes
?Belegung der binären Variablen eines Booleschen Ausdrucks mit Wahrheitswerten
?Zuweisung des Wahrheitswertes der Formel
? Beide Schritte der Interpretation werden durch eine Wahrheitstabelle realisiert. Eine Wahrheitstabelle legt zunächst die Semantik der Junktoren fest. Für die bisher eingeführten Junktoren und die zusätzlichen Junktoren der Implikation (=>) und Äquivalenz gilt
Die Belegung mit Wahrheitswerten führt eine Semantik ein. Zwei Formeln, die für alle Belegungen immer den gleichen Wahrheitswert liefern, heißen semantisch äquivalent.