Die zu einer (aussagenlogischen) Wahrheitsbelegung
auf einer Aussagenvariablenmenge V {\displaystyle {}V} zugehörige Interpretation auf der Sprache L V {\displaystyle {}L^{V}} .