Quantorenlogik/Einige arithmetische Prädikate/Formuliere/3/Aufgabe
Formuliere die folgenden einstelligen Prädikate innerhalb der natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.
- ist ein Vielfaches von .
- ist größer als .
- ist kleiner als .
- ist eine Quadratzahl.
- ist keine Quadratzahl.
- ist eine Primzahl.
- ist keine Primzahl.
- ist das Produkt von genau zwei verschiedenen Primzahlen.