Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition/Begriff

Aus Wikiversity
Wechseln zu: Navigation, Suche

Die Variablensubstitution für einen -Ausdruck , wobei Variablen und fixierte -Terme seien.