Quantorenlogik/Einige arithmetische Prädikate/Formuliere/4/Aufgabe

Aus Wikiversity

Formuliere die folgenden einstelligen Prädikate innerhalb der natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

  1. ist ein Vielfaches von .
  2. ist eine ungerade Zahl.
  3. ist eine Kubikzahl.
  4. ist ein Vielfaches von und ein Vielfaches von .
  5. ist ein Vielfaches von oder ein Vielfaches von .
  6. besitzt bei Division durch den Rest .
  7. ist die Summe von zwei Quadratzahlen.
  8. ist die Summe von vier Quadratzahlen.