Knappe Variablenbelegung

Einfache Sprache

Eine Belegung die nur die in der Formel vorkommenden Variablen belegt

Def. Knappe Variablenbelegung

Sei $\varphi$ eine Aussagenlogischen Formel und $\beta$ eine Passende Variablenbelegung. Dann ist die knappe Variablenbelegung $\beta|_{vars(\varphi)}$ eine Einschränkung der Variablenbelegung auf die Menge der Variablen die in $\varphi$ vorkommen.