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