או (לוגיקה) – הבדלי גרסאות

ב[[לוגיקה מתמטית]], '''או''' או '''דיסיונקציה''' הוא [[קשר לוגי]] [[פעולה בינארית|בינארי]] המתאים לשני [[פסוק (לוגיקה)|פסוקים]] או לשתי [[תבנית (דפוס)|תבניות]] פסוק או תבנית שהם אמיתיים כאשר לפחות אחד משני המרכיבים אמיתי. בכך שונה המשמעות של 'או' בתחום הלוגיקה מהשימוש היומיומי במונח, השולל את האפשרות שהטענות יהיו שתיהן נכונות ('נלךהמשפט לסרטהבא, אומהספר למסעדה'"שמשות שוללשחורות", ממחיש את האפשרותהשימוש שלהיומיומי הליכהואת לסרטההבדל ולמסעדהבינו ובין השימוש בלוגיקה: "הייתי הנוסע האחרון שלו, כבר היה מאוחר וייתכן שהיה עייף או משועמם, או גם יחדעייף וגם משועמם"{{הערה|גבי בן אברהם, '''שמשות שחורות''', הוצאת גוונים, 2011}}). 'או' כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה [[או מוציא]] (XOR). <BR>