Substitution

#Definition #Studium #Informatik #Logik

Eine Substitution ist eine partielle Abbildung $S : A V a r \to A L$ mit endlichem Definitionsbereich.
$S$ ordnet also endlich vielen Variablen eine aussagenlogische Formel zu.

Beispiel: $S : {V_{1}, V_{2}} \to A L$ definiert durch

$S (V_{1}) := V_{2}$
$S (V_{2}) := (V_{0} \lor V_{1})$