Äquivalenzrelation/Axiomensystem/Aufgabe

Formuliere ein Axiomensystem für das Konzept Äquivalenzrelation in einer

prädikatenlogischen Sprache erster Stufe.

Eine Lösung erstellen