Quantorenlogik/Einige arithmetische Prädikate/Formuliere/3/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 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.