שאלה בלוגיקה

שמעתי שעקרון האי ודאות סותר את חוק הפילוג בלוגיקה (אני לא יודע אם זה מנוסח נכון אבל):
בלוגיקה קלאסית מתקיים:
המשפט "A גורר (BאוC)"     שקול למשפט:      
"A גורר [(AוגםB) או  (AוגםC)]"
אבל בקוונטים בגלל האי ודאות זה לא מתקיים, 
אם התנע כך וכך אני יודע שהמיקום הוא בין כאן לכאן. אני יכול לחלק את המיקום ולומר שהוא בין קצה אחד לחצי, או בין החצי לקצה השני. אז יש לי כעת משפט לוגי – אם התנע הוא כך וכך המיקום הוא (מכאן לכאן או מכאן לכאן). יצא לי בחישוב שהמיקום בין שני קצוות, ואני מחלק לשני חצאים. לפי הלוגיקה הרגילה אמור להיות שוה למשפט: התנע הוא A והמיקום בחצי הראשון, או שהתנע הוא A והמיקום בחצי השני. המשפט הראשון, הכולל, היה אמת – אם התנע כך וכך המיקום הוא (או בין כאן לכאן או בין כאן לכאן), אבל המשפט המקביל, שלפי הלוגיקה הרגילה היה אמור להיות נכון גם כן, לא מתקיים כאן.
עכת"ד.
זה נכון? נראה לי מאוד מוזר שהלוגיקה לא נכונה בעולם כלשהו..