MDLUL/Substitution (Prädikatenlogik)

MDLUL/Substitution (Prädikatenlogik)

Start=Substitution (Prädikatenlogik)

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