Quantorenlogik/Einige arithmetische Prädikate/Formuliere/4/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 eine ungerade Zahl.
- ist eine Kubikzahl.
- ist ein Vielfaches von und ein Vielfaches von .
- ist ein Vielfaches von oder ein Vielfaches von .
- besitzt bei Division durch den Rest .
- ist die Summe von zwei Quadratzahlen.
- ist die Summe von vier Quadratzahlen.