MDLUL/Variablenmenge (Prädikatenlogik)

MDLUL/Variablenmenge (Prädikatenlogik)

Start=Variablenmenge (Prädikatenlogik)

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition