Aussagenlogik/Wahrheitsbelegung/Definition
Wahrheitsbelegung
Es sei eine Menge von Variablen und die zugehörige aussagenlogische Sprache. Unter einer Wahrheitsbelegung versteht man eine Abbildung
(oder mit als Wertebereich).
Es sei eine Menge von Variablen und
die zugehörige
aussagenlogische Sprache.
Unter einer
Wahrheitsbelegung
versteht man eine
Abbildung
(oder mit als Wertebereich).