Äquivalenzrelation/Axiomensystem/Aufgabe
Zur Navigation springen
Zur Suche springen
Eine Lösung erstellen
Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer
prädikatenlogischen Sprache erster Stufe.