MDLUL/elementar äquivalent (Element)
Start=elementar äquivalent (Element)
MDLUL/elementar äquivalent (Element) |
---|
Ziel=Prädikatenlogik/Modell/Elementare Äquivalenz für Elemente/Definition
Start=elementar äquivalent (Element)
MDLUL/elementar äquivalent (Element) |
---|
Ziel=Prädikatenlogik/Modell/Elementare Äquivalenz für Elemente/Definition