Terminterpretation/((0+1)+x)(1+(y+1))/Verschiedene Strukturen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das arithmetische Alphabet zusammen mit der Variablenmenge gegeben. Interpretiere den Term

unter den folgenden Interpretationen.

  1. mit der Standardinterpretation und der Variablenbelegung und .
  2. mit der Standardinterpretation

    und der üblichen Matrizenaddition und Matrizenmultiplikation und der Variablenbelegung und .

  3. , mit
    und wo als Multiplikation und als Addition interpretiert wird.
  4. , mit
    und wo sowohl als auch als Subtraktion interpretiert werden.
  5. Potenzmenge von mit
    und wo als und als interpretiert wird.
Eine Lösung erstellen