MDLUL/Substitution von Ausdrücken

Start=Substitution von Ausdrücken

MDLUL/Substitution von Ausdrücken

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