בתשובה לדורון שדמי, 19/10/05 12:50
 |
|
 |
||
|
||||
 |
קראתי. נובע ממנו שאתה לא מקבל את אקסיומת ההפרדה. |  |
 |
 |
|
|
|
||
|
||||
|
''קראתי. נובע ממנו שאתה לא מקבל את אקסיומת ההפרדה.'' הוכח את טענתך. |
|
|
|
|
|
|
||
|
||||
|
האקסיומה: given a set A and a predicate P, we can find a subset B of A whose members are precisely the members of A that satisfy P אתה: יש תכונות שניתן לנסח בשפה מסדר ראשון ושעבורן הטענה לא מתקיימת. |
|
|
|
|
|
|
||
|
||||
|
"אתה: יש תכונות שניתן לנסח בשפה מסדר ראשון ושעבורן הטענה לא מתקיימת." ללא ספק, לדוגמא: P היא לא-P הינה תכונה בשפה מסדר ראשון ושעבורה הטענה לא מתקיימת. |
|
|
|
|
|
|
||
|
||||
|
התכונה צריכה להיות תכונה של *קבוצה* (איבר), לא תכונה של התכונה! בכל אופן, גם עבור "P היא לא P" וגם עבור "x היא לא x" הטענה *נכונה*, והקבוצה המתאימה היא הקבוצה הריקה. |
|
|
|
|
|
|
||
|
||||
|
קרא נא את תגובה 338984 | |
|
|
|
|
|
||
|
||||
|
יש לי בקשה אליך: על תפנה אותי לתגובות שעליהן כבר הגבתי (ושללתי אותן), במיוחד אם אתה עוד לא ענית לי על התגובה שלי. אתה לא יכול לבסס את התשובה שלך לשאלה שלי על דברים שאמרת ואני עוד לא קיבלתי. תודה. |
|
|
|
|
|
|
||
|
||||
|
"על תפנה אותי לתגובות שעליהן כבר הגבתי (ושללתי אותן), " שללת אותן? על מה אתה מדבר? |
|
|
|
|
|
|
||
|
||||
|
כמעט כל תגובה שאני כותב לך הביעה אי-הסכמה עם מה שכתבת. גם במקרה הזה, התגובה שכתבתי הביעה אי-הסכמה. | |
|
|
|
|
|
||
|
||||
|
''כמעט כל תגובה שאני כותב לך הביעה אי-הסכמה עם מה שכתבת'' אי-הסכמה ללא כל בסיס המוכיח את טענתך, אינה שלילה של טענה. |
|
|
|
|
|
|
||
|
||||
|
ההקשר הוא הבקשה שלי בתגובה 339022. אתה (?) מתבסס על כך ש"כבר כתבת" משהו בתגובה אחרת שהוכחה לכך שאתה צודק. אם לא קיבלתי את התגובה ההיא, היא לא יכולה לשמש כהוכחה. אגב, אי-ההסכמה שלי לרוב מנומקת, וגם כשלא, מדובר בטענה לא-מנומקת שלך (?). |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |