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,\ldots \}$ allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

1. ${}x\geq 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