Start=Termsubstitution

MDLUL/Termsubstitution

Ziel=Prädikatenlogik/Variablensubstitution/Terme/Definition