שינויים
/* פתרון */
לפי תרגיל הבית, מספיק להוכיח שכל טענה גוררת את הבאה לה (והאחרונה את הראשונה). דבר ראשון נצרין את הטענות:
*<math>\forall n\in\mathbb{N}:(\exists m\in\mathbb{N}:2m=n)\rightarrow \exists k\in\mathbb{N}:(k>n \and P(k))</math>*<math>\neg[\exists n\in\mathbb{N}:\forall k\in\mathbb{N}:(k>n \rightarrow \neg P(k))] </math>*<math>\forall n\in\mathbb{N}:\exists k\in\mathbb{N}:(k>n \and P(k))</math>
הטענה השנייה גוררת את השלישית (ולמעשה שקולה לשלישית) על ידי הכנסת השלילה פנימה לפי הכללים שלמדנו.
(שימו לב לשימוש בטאוטולוגיה <math>\neg (A\rightarrow B) \Leftrightarrow (A \and \neg B)</math>)
