MDLUL/elementare Äquivalenz (Element)

Start=elementare Äquivalenz (Element)

MDLUL/elementare Äquivalenz (Element)

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