Interpretation (Aussagenlogik)
Es sei
eine Menge von Variablen,
die zugehörige
aussagenlogische Sprache
und
-
eine
Wahrheitsbelegung.
Unter der zugehörigen
Interpretation
versteht man die über den
rekursiven Aufbau der Sprache
festgelegte Abbildung
-
mit
für jede Aussagenvariable
.
- Bei
ist
-

- Bei
ist
-

- Bei
ist
-

- Bei
ist
-

- Bei
ist
-
