Quantorenlogik/Einige arithmetische Aussagen/Formuliere/Aufgabe

Aus Wikiversity

Formuliere die folgenden Aussagen über die natürlichen Zahlen allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.

  1. .
  2. .
  3. .
  4. ist eine Primzahl.
  5. ist eine Primzahl.
  6. ist keine Primzahl.
  7. Jede natürliche Zahl besitzt mindestens einen Primfaktor.
  8. Jede natürliche Zahl größer gleich besitzt mindestens einen Primfaktor.
  9. Wenn eine Primzahl ein Produkt teilt, so teilt sie auch mindestens einen der Faktoren.
  10. Es gibt Zahlen, die ein Produkt teilen, obwohl sie keinen der Faktoren teilen.