 |
OR לוגי
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
או (לוגיקה)
בלוגיקה מתמטית, או או דיסיונקציה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית ערך אמת "אמת", כאשר לפחות אחד משני המרכיבים אמיתי. בכך, שונה המשמעות של "או" בתחום הלוגיקה מהשימוש היומיומי במונח, בו לעתים די קרובות, הכוונה היא לשלול את האפשרות שהטענות יהיו שתיהן נכונות ותקפות בו-זמנית. (המשפט הבא, מהספר "שמשות שחורות", ממחיש את השימוש היומיומי ואת ההבדל בינו ובין השימוש בלוגיקה: "הייתי הנוסע האחרון שלו, כבר היה מאוחר וייתכן שהיה עייף או משועמם, או גם עייף וגם משועמם" – בלוגיקה, הסיום "או גם עייף וגם משועמם" מיותר). "או" כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה "או בררני" או "או מוציא" (XOR). בלשון המשפטית, המונח המקביל ל"או" בלוגיקה הוא "ו/או", ונקרא "או כוללני".
הסימון המקובל בלוגיקה לקשר זה הוא 
, כאשר 
ו-
מסמנים את הפסוקים/תבניות הבסיסיים.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
