שינויים
/* תרגיל 1 שאלה 3 סעיף ב' */
רוצה לוודא שהבנתי את התשובות- אנחנו צריכים להתייחס למשפט 6 כ"אם" ולראות האם 6-->5, מקבל ערך אמת.יצרנו עולם שבו יש רק אדם אחד שאין לו שם ולכן מצד אחד משפט 6 נכון בגלל שf גורר משהו- תמיד נכון.
מצד שני שקרי כי נוצר מצב שבו יש שני אנשים- מה שלא נכון לעולם שיצרנו.אז בעצם יוצא מצב "לא מוגדר" שכזה? וזה נופל פה? כי הצד של ה-6 סוג של "לא מוגדר"? מקווה שניסחתי ברור..
: טענה 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)
