Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Abbildung/Zwei Mengen/Sortenprädikate/Injektiv/Aufgabe
Sprache
Beobachten
Bearbeiten
Formuliere die
Injektivität
für eine Abbildung
f
:
D
⟶
Z
{\displaystyle f\colon D\longrightarrow Z}
prädikatenlogisch mit Hilfe der Verwendung von Sorten.
Zur Lösung
,
Alternative Lösung erstellen