Aussagenlogik/Wahrheitsbelegung/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Wahrheitsbelegung

Es sei eine Menge von Variablen und die zugehörige aussagenlogische Sprache. Unter einer Wahrheitsbelegung versteht man eine Abbildung

(oder mit als Wertebereich).