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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.