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