Zum Inhalt springen

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

Aus Wikiversity

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

  1. .
  2. ist ein Vielfaches von .
  3. ist ein Vielfaches von .
  4. ist eine dritte Potenz.
  5. ist keine Primzahl.
  6. und besitzen die gleichen Primfaktoren.