MDLUL/freie Variable (Prädikatenlogik)

Start=freie Variable (Prädikatenlogik)

MDLUL/freie Variable (Prädikatenlogik)

Ziel=Prädikatenlogik/Freie_und_gebundene_Variablen/Textabschnitt