Quantorenlogik/Einige arithmetische Prädikate/Formuliere/3/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 größer als .
  3. ist kleiner als .
  4. ist eine Quadratzahl.
  5. ist keine Quadratzahl.
  6. ist eine Primzahl.
  7. ist keine Primzahl.
  8. ist das Produkt von genau zwei verschiedenen Primzahlen.