שיחה:אישור מופרד

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

זה לא מדוייק, המילה "או" בעברית היא לא חד משמעית, לפעמים היא ה"או" הלוגי ולפעמים ה"xor" הלוגי. עברית שפה קשה. יפתח 14:43, 9 יוני 2005 (UTC)

אתה יכול לתת דוגמה לשני המקרים? יש לכך השלכות תיקוניות לגבי ערכים נוספים, אני מניח. אורי 18:08, 9 יוני 2005 (UTC)
בעברית של בני אדם, "או" פירושו תמיד XOR. כאשר אני אומר "אבוא אליך מחר או מחרתיים" כוונתי שאבוא רק באחד משני ימים אלה. כאשר עו"ד רוצה לכתוב OR, הוא משתמש בצורה "ו/או". המשמעות של "או" כ-OR קיימת רק בעולמם של מתמטיקאים ומתכנתים. דוד שי 04:02, 10 יוני 2005 (UTC)
  1. דוגמאות לאו לוגי:
    1. "האומות המאוחדות או האו"ם"
    2. "מיני או מקורי".
    3. "מונח המגדיר בעלות או שליטה בלעדית של גורם מסוים"
  2. דוגמאות לאו אקסלוסיבי:
    1. "שמופנות אליו על ידי העצרת הכללית או על ידי מועצת הביטחון" .
    2. "אמת או חובה"
    3. "עם או בלי התארגנות קרטלית".
כשלא מדובר על שיעור בלוגיקה, יכול הקורא הנבון להבין מתי מדובר באו לוגי ומתי באו אקסלוסיבי. במידה והדבר לא ברור (או כשהכותב הוא עורך דין/מתמטיקאי), מוסיף הכותב הבהרה (ו/או במקרה הלוגי, אחד משניהם במקרה האקדלוסיבי). אני לא יודע על ערכים אחרים בהם יש בעיה עם המילה הזו. יפתח 15:08, 11 יוני 2005 (UTC)
אתה צודק לגמרי, אבל בעיה זו קיימת באותו אופן גם באנגלית. לדוגמה:
  1. Alice or The Wonderful Journey
  2. The UN or The United Nation
ייתכן והמילה "מחלטרת" בפונקציה כפולה גם בשפות נוספות. אורי 16:55, 11 יוני 2005 (UTC)
אולי. את הערך בכל מקרה יש לשנות בהתאם. יפתח 03:46, 14 יוני 2005 (UTC)
שים לב שיש שינוי: כעת מובהר שמדובר באופרטור הלוגי "או" (וגם מופנה לערך המתאים). אם לא מספיק, כתוב משהו אפילו באופן כללי ואני "אחליק" את הקצוות אם יידרש. אורי 11:14, 14 יוני 2005 (UTC)

כשאומרים "א' או ב'", השאלה אם מדובר ב- OR או XOR מוכרעת מן ההקשר. אבל כשאומרים "או א' או ב'" זה בוודאי XOR. עוזי ו. 14:59, 14 יוני 2005 (UTC)


אני מצטער, אני עדיין לא מבין איפה הכשל. יש שלוש אפשרויות למה שהצגת:
א. ביום ראשון: ירד גשם ביום שני ו/או ביום שלישי
ב. ביום שני: יורד גשם.
ג. מכאן לא ירד גשם ביום שלישי.
לדעתי זה לא כשל אלא שגיאה לוגית, שלא באמת יכולה להכשיל אף אחד, וכמוה יש מליוני שגיאות אפשריות.
א. או שהחתול חי או שהחתול מת.
ב. החתול חי.
ג. לכן החתול לא מת.
זה (אני חושב) לא כשל, אלא הסקת מסקנות סבירה לחלוטין.
א. ביום ראשון: ראובן יהיה בחופש מחר או מחרתיים
ב. ביום שני: ראובן בחופש.
ג. מכאן שראובן לא יהיה בחופש ביום שלישי.
לדעתי, גם זה לא באמת כשל. הסעיף הראשון מעורפל, לא ברור אם מדובר באו אקסלוסיבי או לוגי, ולכן הסקת המסקנה בסעיף ג. לגיטימית בתלות בהקשר.
יש לך דוגמא "מהחיים" לשימוש בכשל הזה? יפתח 06:30, 15 יוני 2005 (UTC)
יש כשל בדוגמה שלך כאן: בהנחה המיורית נאמר "א' או ב'" או "או א' או ב'". אם המשפט אינו קובע "א' או אך ורק ב'" (כלומר xor) אפשרות שלישית קיימת. אם להשתמש בדוגמה שלך:
א. או שהחתול חי או שהחתול מת.
ב. החתול חי.
ג. לכן החתול לא מת.
המסקנה שגויה, כיוון שאנחנו יכולים לשער מצב שלישי. לעומת זאת, אילו היינו אומרים:
א. לחתול יש שני מצבים אפשריים: חי או מת.
ב. החתול חי.
ג. לכן החתול לא מת.
הכל היה עובד. תזכור שמדובר וגם בערך כתוב במפורש שמדובר ב-או ולא באו אקסקלוסיבי.
בוא נעשה סדר, לפי עוזי ו., ואני בהחלט נוטה מסכים איתו, או א או ב אקוויולנטי לאו אקסלוסיבי. בנוסף, צריך להיות ברור מההקשר שחתול יכול להיות רק שני מצבים, חי או מת, הוא לא יכול להיות במצב של סופרפוזיציה או משהו כזה, יש על זה ערך.
אחרי שהבהרנו את זה, אני חוזר ושואל איפה כאן הכשל? האם הוא קיים בכלל? האם יש דוגמא אמיתית לכשל הזה? האם לא מדובר בערפול מכוון או שגיאה מטופשת. יפתח 19:15, 15 יוני 2005 (UTC)
ערכתי את הערך מעט כדי להבהיר זאת. ההבדל דק, אך ברור. אורי 22:53, 15 יוני 2005 (UTC)

פניה לבורר[עריכת קוד מקור]

טוב, בעקבות השינוי האחרון, אני פשוט לא מבין את הכשל. לדעתי בניסוח הנוכחי שלו הוא לא קיים. לדוגמא:

א. החתול חי או מת.
ב. החתול חי.
ג. לכן החתול לא מת.

היא למיטב הבנתי הסקת מסקנות סבירה לחלוטין, ואין בה שום כשל מכל צורה שהיא. חתול באמת יכול להיות רק חי או מת, ולכן ה"או" כאן הוא אקסלוסיבי (דבר שנובע ישירות מההקשר). להבדיל, אם היינו מחליפים את ה"או" במשפט הראשון ב"ו/או" הייתה כאן הסקת מסקנות לא סבירה (אבל לטענתך לא זה הכשל, ולכן פשוט אין כאן כשל). יפתח 07:12, 17 יוני 2005 (UTC)

דוגמה זו אינה מתאימה לכשל, משום שבה "או" מופיע במובן XOR, וכפי שכתוב בערך במפורש, במצב XOR הכשל אינו מתקיים. נעשה שינוי קל בדוגמה:
א. החתול יושב או שותה חלב.
ב. החתול יושב.
ג. לכן החתול לא שותה חלב.
כאן מתקיים הכשל, משום שבמצב שבו החתול יושב ושותה חלב, מסקנתנו אינה נכונה.
ההבדל בין שתי הדוגמאות ברור: מצב שבו החתול חי ומת אינו אפשרי (לפחות בעולם שלפני שרדינגר), ואילו מצב שבו החתול יושב ושותה חלב אפשרי. דוד שי 08:01, 17 יוני 2005 (UTC)
אבל מצד שני, לפי אורי, הכשל לא מתקיים אם נחליף את ה"או" במשפט הראשון ב"ו/או". ז"א
א. החתול יושב ו/או שותה חלב.
ב. החתול יושב.
ג. לכן החתול לא שותה חלב.
הוא לא הכשל. לדעתי, אם ה"או" הוא במובן הלוגי, אז החלפתו ב"ו/או" לא משנה את משמעותו, וכשלא ברור מההקשר אם מדובר באו לוגי או אקסלוסיבי, צריך להחליף את האו ב"ו/או". והנה זה פלא, ניסיתי לעשות את זה, ואורי שחזר את השינוי שלי. יפתח 05:01, 18 יוני 2005 (UTC)
אין ספק ש"ו/או" בשפתם של עורכי הדין שקול ל"או" בשפתם של הלוגיקנים, לכן הכשל מתקיים בשני המקרים. אני משער שסיבת השחזור היא שערך זה, כמו כל ערכי הכשלים, נמצא בעולמם של הלוגיקנים, ולא בעולמם של עורכי הדין. דוד שי 06:41, 18 יוני 2005 (UTC)
דוד שי צודק -- השחזור נעשה משום שהשתמשת באופרטור שלא קיים. אבל לא רק.
המשמעות של "או" לוגי היא שלפחות אחד מצדדיו חייב להיות אמת, אך אין מניעה ששני צדדיו יהיו אמת. כפי שזה מנוסח בערך:
באלגברה בוליאנית, OR הוא פעולה בוליאנית שתוצאתה "אמת" (true) כאשר לפחות אחד מהאופרנדים שלה הוא "אמת".
זו הסיבה שהצבת שלילה בהנחה המינורית מתקפת את הטיעון: אם אחד מצדדיו חייב להיות אמת, פסילת אחד מהשניים מחייבת שהשני יהיה אמת. אבל הצהרה חיובית אינה עושה כן.
כמובן שאם אתה מציב הנחה כמו "החתול חי או מת", במציאות ה"או" הוא xor, אבל בלוגיקה, האלמנטים שאתה מציב לא מעלים ולא מורידים. אורי 12:34, 18 יוני 2005 (UTC)