Äquivalenzrelation/Axiomensystem/Aufgabe
Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer
prädikatenlogischen Sprache erster Stufe.Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer
prädikatenlogischen Sprache erster Stufe.