Terminterpretation/Aussage/Verschiedene Strukturen/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein einstelliges Funktionssymbol, und seien zweistellige Funktionssymbole und seien Variablen.

Wir betrachten die folgenden Modelle (wobei die Grundmenge bezeichnet).

a) , ist die Quadrierung, die Addition und die Multiplikation.


b) , ist das Differenzieren von Funktionen, die Multiplikation und die Addition von Funktionen. Bestimme, ob in diesen Modellen die folgenden Aussagen wahr werden.