MDLUL/Symbolalphabet (Prädikatenlogik)

MDLUL/Symbolalphabet (Prädikatenlogik)

Start=Symbolalphabet (Prädikatenlogik)

Ziel=Alphabet_erster_Stufe/Symbole_für_Relationen_und_Funktionen/Symbolalphabet/Definition