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

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