שינויים

<math>\lnot (\forall a\in \mathbb{ZN} \exists b\in \mathbb{N} (a|b\rightarrow (a<\leq b\land a+b<a\neq 0cdot b)))</math>

פיתרון: ראשית נראה מה הטענה בעצם אומרת:

<math>\exists a\in \mathbb{ZN} \forall b\in \mathbb{N} (a|b \land (a\geq b \lor a+b=0\geq a\cdot b))</math>

שימו לב שנעזרו בשקילות <math>\ (A\rightarrow B) \equiv ((\neg A) \lor B)</math> ובחוקי דה-מורגן. כעת נשים לב שאם <math>a|b</math> אז <math>a\leq b</math> ולכן כדי שזה יהיה נכון צריך שיתקיים <math>a+b\geq a\cdot b</math> וזה אכן קורה עבור <math>a=1</math>.