Hallo Community, ich verstehe folgende Formel nicht ganz: ∀y (∃z (y*z = x) ⇒ (y=1)∨(y=z))
Das ist die Formel zu : "x ist eine Primzahl". Der Allquantor und der Existenzquantor sind mir durchaus bekannt, dennoch verstehe ich die Formel einfach nicht.
Ich versuche sie mal in eigenen Worten auszudrücken: Für jedes y existiert ein z, sodass y mal z gleich x ergibt. Sollte das der Fall sein muss entweder y=1 oder y=z. sein
Mein Können diesbezüglich ist schon ziemlich eingerostet, ich würde mir wünschen das mir jemand erklärt wieso diese Formel eine Primzahl beschreibt und ob meine "Übersetzung" annähernd richtig ist.
Danke!