Quantorenlogik/Einige arithmetische Aussagen/Formuliere/Aufgabe
Formuliere die folgenden Aussagen über die natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.
- .
- .
- .
- ist eine Primzahl.
- ist eine Primzahl.
- ist keine Primzahl.
- Jede natürliche Zahl besitzt mindestens einen Primfaktor.
- Jede natürliche Zahl größer gleich besitzt mindestens einen Primfaktor.
- Wenn eine Primzahl ein Produkt teilt, so teilt sie auch mindestens einen der Faktoren.
- Es gibt Zahlen, die ein Produkt teilen, obwohl sie keinen der Faktoren teilen.