בתשובה לאח של סמיילי, 02/11/05 18:20
סופרפוזיציה 343180
ממעט הלוגיקה הבוליאנית שאני מכיר A xor A אינו שקול לסתירה אלא פשוט מחזיר ערך FALSE.
בכל מקרה (F xor T) xor (F xor T) אינו שקול ל F xor T. אם F ו T מייצגים FALSE ו TRUE בהתאמה אזי F xor T הוא T, בעוד (F xor T) xor (F xor T) הוא F, לעומת זאת אם אם F ו T מייצגים שני משתנים אקראיים, אזי F xor T יכול להחזיר ערך TRUE או FALSE, בעוד (F xor T) xor (F xor T) מחזיר תמיד ערך FALSE.
סופרפוזיציה 343377
אבל זו בדיוק ההגדרה של סתירה: פסוק שערכו "שקר", ללא תלות במבנה.
סופרפוזיציה 343396
סתירה מתקיימת כאשר שניי ערכי-האמת הם סימולטנית דבר והיפוכו.

כדי להבין את השימוש שאני עושה ב-XOR אציג זאת באופן הבא:

סופרפוזיציה:

|___T XOR F
|
|___T XOR F
|
סימטריה שבורה:

.____F
| |
| |___T

סופרפוזיציה 343421
למה באמת XOR דווקא? מה הוא מבטא?
סופרפוזיציה 343430
תגובה 326524?
תגובה 327143?
סופרפוזיציה 343432
אני יודע. הדבר המעניין בדיון הזה הוא לא הפסיכולוגיה של שדמי, אלא של המגיבים לו (את עצמי אני עוד יכול להבין, אבל למה עוזי ממשיך?).

לזכותי ייאמר שבאמת ויתרתי על המחשבה שתצא מכאן תקשורת אמיתית (אם כי הדיון גרם לי להתחיל לחשוב קצת יותר לעומק על כמה מושגים במתמטיקה שנראו לי מובנים מאליהם, וגם זה לטובה).

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים