Aussagenlogik/Wahrheitsbelegung/Interpretation/Definition/Begriff

Die zu einer (aussagenlogischen) Wahrheitsbelegung

$\lambda \colon V\longrightarrow \{0,1\}$

auf einer Aussagenvariablenmenge ${}V$ zugehörige Interpretation auf der Sprache ${}L^{V}$.