MDLUL/Substitution (Ausdruck)

Start=Substitution (Ausdruck)

MDLUL/Substitution (Ausdruck)

Ziel=Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition