MDLUL/Substitution von Ausdrücken
Start=Substitution von Ausdrücken
MDLUL/Substitution von Ausdrücken |
---|
Ziel=Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition
Start=Substitution von Ausdrücken
MDLUL/Substitution von Ausdrücken |
---|
Ziel=Prädikatenlogik/Variablensubstitution/Ausdrücke/Definition