Äquivalenzrelation/Axiomensystem/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

prädikatenlogischen Sprache erster Stufe.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Äquivalenzrelation/Axiomensystem/Aufgabe&oldid=550950“