Terminterpretation/((0+1)+x)(1+(y+1))/Verschiedene Strukturen/2/Aufgabe
Erscheinungsbild
Es sei das arithmetische Alphabet zusammen mit der Variablenmenge gegeben. Interpretiere den Term
unter den folgenden Interpretationen, wobei die Grundmenge der Interpretation bezeichne.
- mit der Standardinterpretation und der Variablenbelegung und .
- mit der Standardinterpretation
und der üblichen Matrizenaddition und Matrizenmultiplikation und der Variablenbelegung und .
- , mit
und wo sowohl als auch als Subtraktion interpretiert werden.
-
Potenzmenge
von mit
und wo als und als interpretiert wird.