Passende Variablenbelegung

Einfache Sprache

Def. Passende Variablenbelegung

Eine Variablenbelegung $\beta$ ist passend zu einer Aussagenlogischen Formel $\phi$, wenn $\beta$ für jede Variable, die in $\phi$ auftritt, definiert ist. Also

$$\mathrm{vars}(\phi)\subseteq\mathrm{dom}(\beta)$$