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