Folgende Aussage unter alleiniger Benutzung der Zeichen ∀, ∃, ∧, ∨, ¬, der Abkürzung prim(x) für ”x ist Primzahl“ und der ”atomaren“ Formeln ab = c, a = 1 und b = 1 formulieren.
(Zur Vereinfachung seien dabei alle betrachteten Zahlen stets als naturliche Zahlen vorausgesetzt, ohne dass dies extra gesagt werden soll; die Quantoren ∀, ∃ sollen nur ein Argument haben, d.h. z.B. ∀a,b,c ist verboten und durch ∀a∀b∀c auszudrucken.)
Aussage:
"Wenn es eine Primzahl gibt, so folgt für drei Zahlen a, b, c mit der Eigenschaft ab = c stets, dass a = 1 oder b = 1 ist."
Kann mir jemand einen Tipp geben, wie man diese Aufgabe angehen sollte?