Zum Inhalt springen

MDLUL/Substitutionen (Prädikatenlogik)

Aus Wikiversity
MDLUL/Substitutionen (Prädikatenlogik)

Start=Substitutionen (Prädikatenlogik)

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