דיסיונקציה

השימוש במילית ' או ' , הוא דרך נוספת לצירוף זוגות של פסוקים לפסוק אחד . למשל , הצירוף בעזרת ' או ' של ' הנורה שרופה ' עם ' המפסק הראשי כבוי ' , הוא הפסוק ' הנורה שרופה או המפסק הראשי כבוי ' ( בפסוק מעין זה עשוי להשתמש אדם המנסה להסביר מדוע החדר נשאר חשוך למרות שהוא לחץ על מתג ההפעלה של המנורה . ) הפסוק המתקבל מזוג פסוקים ψ , ϕ , ψ על-ידי צירופם זה לזה בעזרת המילית ' או ' , הדיסיונקציה ( disjunction ) של ϕ ו- ψ . לסימול הדיסיונקציה של ϕ ו- ψ רושמים : ψ . ϕ ∨ ψ את הביטוי ' ψ ' ϕ ∨ ψ משמאל לימין , ובעברית נהגה אותו ϕ' או ψ . ' ψ הסימן ∨ , ∨ המסמל את ' או ' , מכונה סימן ( או קשר ) הדיסיונקציה . בשפת הדיבור משתמשים במילית ' או ' בשתי הוראות שונות : כשאומרים ' הנורה שרופה או המפסק הראשי כבוי ' , ככל הנראה מתכוונים לקבוע שלפחות אחד משני המרכיבים – ' הנורה שרופה ' , ' המפסק הראשי כבוי ' – הוא אמת , בלי להוציא מכלל אפשרות ששני המרכיבים כאחד הם אמת . פסוק זה נחשב לשקר רק אם שני מרכיביו הם שקר . לעומת זאת , כאשר מסעדה מציעה ארוחה עסקית הכוללת , בין היתר , מנה עיקרית בשרית או צמחונית , כולנו מביני...  אל הספר