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