MDLUL/Satz (Prädikatenlogik)
Erscheinungsbild
MDLUL/Satz (Prädikatenlogik) |
---|
Start=Satz (Prädikatenlogik)
Ziel=Prädikatenlogik/Freie und gebundene Variablen/Textabschnitt
MDLUL/Satz (Prädikatenlogik) |
---|
Start=Satz (Prädikatenlogik)
Ziel=Prädikatenlogik/Freie und gebundene Variablen/Textabschnitt