MDLUL/elementar äquivalent (Element)

Start=elementar äquivalent (Element)

MDLUL/elementar äquivalent (Element)

Ziel=Prädikatenlogik/Modell/Elementare Äquivalenz für Elemente/Definition