Zum Inhalt springen

Aussagenlogik/Wahrheitsbelegung/Definition

Aus Wikiversity
Wahrheitsbelegung

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

(oder mit als Wertebereich).