Es sei das arithmetische Alphabet
zusammen mit der Variablenmenge
gegeben. Interpretiere den Term
-
unter den folgenden Interpretationen.
mit der Standardinterpretation und der Variablenbelegung
und
.
mit der Standardinterpretation
-
und der üblichen Matrizenaddition und Matrizenmultiplikation und der Variablenbelegung
und
.
, mit
-
und wo
als Multiplikation und
als Addition interpretiert wird.
, mit
-
und wo sowohl
als auch
als Subtraktion interpretiert werden.
Potenzmenge von
mit
-
und wo
als
und
als
interpretiert wird.