קוניונקציה

הפסוק ' הגעתי לעבודה לפני 08 : 00 ועזבתי אחרי ' 17 : 00 מורכב משני פסוקים פשוטים יותר , שצורפו זה לזה בעזרת המילית ' ו ' . בעזרת ' ו ' אפשר לצרף כל זוג ϕ , ψ של פסוקים לפסוק אחד . 1 בהמשך לא נקפיד להבחין בין סימן הקשר , לבין הקשר הפסוקי שאותו הוא מסמל . 2 ' זוג ' – משמע זוג סדור . לכל אורך השיעור הזה , כשנדבר על ' זוג ' או על ' שלשה ' או על ' רביעייה ' או על ' n -יה ' , אתם מתבקשים להוסיף בעצמכם את הסיומת ' סדור ( ה ) ' , שתושמט לשם מניעת סרבול . הפסוק המתקבל מזוג פסוקים ψ , ϕ , ψ על-ידי צירופם זה לזה בעזרת המילית ' ו ' , הקוניונקציה ( conjunction ) של ϕ עם ψ . פעולת השלילה שבה עסקנו קודם היא מקומית-חד ( היא פועלת על פסוק בודד ) . לעומתה , פעולת הקוניונקציה היא מקומית-דו ( היא פועלת על זוג פסוקים ) . עם זאת , גם הקוניונקציה , כמו השלילה , היא פעולה לוגית : ערך האמת של תוצאתה נקבע מתוך ערכי האמת של הפסוקים שעליהם היא פועלת , ללא תלות בתוכן הפסוקים . פסוק מהטיפוס ϕ' ו- ψ'ψ אמת כאשר שני מרכיביו הם אמת ; כאשר אחד מבין ϕ ψ , ϕ הוא שקר , וכן כאשר שניהם שקר הפסוק ϕ' ו- ψ'ψ הוא שקר לסימול הקונ...  אל הספר