שינויים
/* תרגיל 1 שאלה 3 סעיף ב' */
: טענה 6 נכונה בעולם שהגדרנו. אם תסתכל על הנוסחא של טענה 6 (בשאלה 2), תראה שהיא מוגדרת <math>(\exist n\in\N: R(p,n))\to ...</math>. החלק הראשון (לפני גרירה) הינו שקרי ולכן לא משנה מה יהיה אחרי קשר גרירה, כי משקר אפשר להסיק כל דבר וזה יהיה אמת. לכן טענה 6 נכונה ואני אפילו לא מתייחס לשאלה האם קיים בנאדם שני בעולם שלנו. טענה 5 כפי שכתוב בתשובה היא שקרית. ולכן מקבלים ש- <math>(6)\to (5)</math> שקרית. (בתשובה יש טעות קטנה של מספור הטענות, הועלה קובץ מתוקן)--[[משתמש:Grisha|Grisha]] 20:49, 23 ביולי 2012 (IDT)
אם לצורך העניין משפט 5 היה: אם קיימים 2 אנשים אז הם עם אותו שם- אז בעולם שיצרתי זה כן היה גורר. כי אז שוב ההנחה של 6 שגויה ולכן סה"כ הוא אמת (באופן ריק) אבל הפעם גם ההנחה של 5 שגויה (כי אין 2 אנשים בעולם שיצרנו) ולכן נוצר מצב ריק של true גורר true?
: הרעיון נכון. כדי להיות לגמרי בטוח תכתוב במפורש את טענה 5 החדשה שייצרת. --[[משתמש:Grisha|Grisha]] 06:27, 24 ביולי 2012 (IDT)
== חיתוך ==