Belegung
In der Aussagenlogik wird eine Vorschrift, die jedem Satz einer Sprache A genau einen Wahrheitswert zuordnet, als B. der Sätze von A bezeichnet. In symbolischer Schreibweise: V (A) = w, d.h. die Belegung V ordnet dem Satz A den Wert »wahr« (oder »falsch«) zu.
PP