Quantorenlogik/Einige arithmetische Prädikate/Formuliere/Aufgabe

Formuliere die folgenden Beziehungen (ein- oder mehrstellige Prädikate) innerhalb der natürlichen Zahlen $\mathbb{N}=\{0,1,2,3,\dots \}$ allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

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

Eine Lösung erstellen