MDLUL/Satz (Prädikatenlogik)

Start=Satz (Prädikatenlogik)

MDLUL/Satz (Prädikatenlogik)

Ziel=Prädikatenlogik/Freie und gebundene Variablen/Textabschnitt