Quantorenlogik/Einige arithmetische Prädikate/Formuliere/Aufgabe

Aus Wikiversity

Formuliere die folgenden Beziehungen (ein- oder mehrstellige Prädikate) innerhalb der natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

  1. .
  2. .
  3. teilt .
  4. teilt nicht .
  5. ist eine Quadratzahl.
  6. ist eine Primzahl.
  7. ist keine Primzahl.
  8. ist das Produkt von genau zwei verschiedenen Primzahlen.
  9. wird von einer Primzahl geteilt.