Aussagenvariable/Abbildung/Sprache/Aufgabe

Aus Wikiversity

Es seien und Aussagenvariablenmengen und eine Abbildung. Zeige, dass dies eine natürliche Abbildung

induziert.