Surjektiv/Hintereinanderschaltung/Formalisiere/Aufgabe
Formalisiere mit dem Symbolalphabet , wobei einstellige Funktionssymbole seien, die Aussage, dass die Hintereinanderschaltung von surjektiven Abbildungen
wieder surjektiv ist.Formalisiere mit dem Symbolalphabet , wobei einstellige Funktionssymbole seien, die Aussage, dass die Hintereinanderschaltung von surjektiven Abbildungen
wieder surjektiv ist.