Injektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Formalisiere mit dem Symbolalphabet ${}S=\{f,g\}\cup V$ , wobei ${}f,g$ einstellige Funktionssymbole sind, die Aussage, dass die Hintereinanderschaltung von injektiven Abbildungen

zwischen Mengen wieder injektiv ist.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Injektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe&oldid=598566“