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