Äquivalenzrelation/Axiomensystem/Aufgabe

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

Eine Lösung erstellen