‫‪ - 1‬לוגיקה‬

‫פסוקים וקשרים‬ ‫‪1‬‬

‫השפה בה אנו משתמשים ביומיום בכדי לדבר היא הרבה פעמים מעורפלת והחשיבה היומיומית‬
‫היא לרוב רב משמעית ולא מסודרת‪ .‬אחת המטרות של הלוגיקה שנלמד כאן היא להציע‬
‫דרך חשיבה המעודדת זהירות ודיוק‪ .‬הלוגיקה כיום היא נושא עמוק ומורכב‪ ,‬אנחנו נתמקד‬
‫בחלק של הלוגיקה העוסק בחשיבה והסקת מסקנות נכונה ‪ .“Correct Thinking ” -‬נציין כי‬
‫העקרונות שנלמד תקפים לכל תחומי החיים‪ ,‬מדעיים או לא ובפרט לתחומים בהם נדרשת‬
‫חשיבה שיטטית‪ .‬מכיוון שבשפה היומיומית רוב הטיעונים מובעים במילים והצורה הלוגית‬
‫של הטיעונים אינה ברורה‪ ,‬נידרש תחילה לאוסף סימנים ”מיוחדים“ שיקלו על הסקת המסקנות‬
‫הנכונה‪ .‬לאחר מכן נראה כיצד בעזרת הסימונים נוכל לייצר טיעונים תקפים ונכונים ולמעשה‬
‫לבנות ”הוכחות“‪” .‬אוצר המילים“ שנפתח יהיה מדוייק ויחד עם זאת יאפשר לנתח בעיות‬
‫ומונחים מופשטים ומעורפלים‪ .‬טיפשי ככל שיישמע‪ ,‬חישבו על משחק השחמט‪ .‬חוקי משחק‬
‫השחמט הם ברורים ומדוייקים הרבה יותר מאלו של השפה העיברית‪ .‬יחד עם זאת‪ ,‬בעזרת‬
‫השפה העיברית אנחנו מנסחים את חוקי משחק השחמט‪.‬‬

‫הגדרות‬ ‫‪1.1‬‬
‫‪ 1.1.1‬פסוק הוא משפט חיווי‪ ,‬כלומר משפט‪ ,‬אשר יכול להיות אמיתי או שיקרי‪.‬‬
‫למשל‪” ,‬היום יום א’“ ‪” ,‬הגעתי לכיתה בזמן“‪ .‬הפסוק ”היום יום א’“ הוא אמיתי כאשר היום‬
‫אכן יום א ושיקרי בכל יום אחר בשבוע‪.‬‬
‫סימון‪ :‬מסמנים פסוק באותיות לועזיות גדולות‪ .‬למשל‪” -P ,‬היום יום א’“ ‪” -Q‬הגעתי לכיתה‬
‫בזמן“‪.‬‬
‫אם פסוק הוא אמיתי‪ ,‬נאמר כי ערך האמת שלו הוא אמת‪ ,‬ואם הפסוק שיקרי נאמר כי ערך‬
‫האמת שלו הוא שקר‪ .‬נשתמש באות ‪ T‬בכדי לומר שערך האמת של הפסוק הוא אמת ובאות‬
‫‪ F‬בכדי לומר שערך האמת של הפסוק הוא שקר‪.‬‬

‫‪1‬‬
‫פסוק מורכב הוא פסוק המורכב מפסוקים יסודיים ומקשרים‪ .‬ישנם מספר קשרים‬ ‫‪1.1.2‬‬
‫כפי שמתואר בהמשך‪.‬‬
‫קשר השלילה ‪:NOT‬‬ ‫‪1.1.3‬‬
‫• דוגמא‪” :‬היום לא יום ראשון“‪.‬‬

‫• משמעות מילולית‪ :‬משמעת הוספת קשר השלילה ‪ NOT‬לפסוק‪ ,‬היא פשוט שלילתו‬
‫של הפסוק‪ .‬כלומר‪ ,‬לא‪.‬‬

‫• סימון‪ :‬ישנם שלושה סימונים מקובלים לקשר השלילה‪ .‬השלילה של פסוק ‪ P‬מסומנת‬
‫‪ .∼ P, P , ¬P‬אנחנו נשתמש בעיקר בסימון ‪.¬P‬‬

‫• משמעות מתמטית‪ :‬אם ערך האמת של הפסוק ‪ P‬הוא ‪ T‬אז ערך האמת של הפסוק‬
‫‪ ¬P‬הוא ‪ F‬ולהיפך‪.‬‬

‫• טבלת אמת‪ :‬את הפעולה של קשר השלילה על ערך אמת של הפסוק המקורי רושמים‬
‫ב טבלת אמת‪ .‬בטבלה זו‪ ,‬העמודה השמאלית מציינת את כל האפשרויות לערכי אמת‬
‫של הפסוק היסודי‪ ,‬ואילו העמודה הימנית מציינת את ערכי האמת של הפסוק לאחר‬
‫הפעלת קשר השלילה‪.‬‬

‫‪P‬‬ ‫‪¬P‬‬
‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬

‫קשר ”או“ ‪:(NON − EXCLUSIVE) OR‬‬ ‫‪1.1.4‬‬

‫• דוגמא‪” :‬היום יום א או שהגעתי לכיתה בזמן“‪.‬‬

‫• משמעות מילולית‪ :‬בשפה העיברית‪ ,‬אנחנו בדרך כלל משתמשים במילה ”או“ בכדי‬
‫להביע מצב של בחירה כאשר לרוב המשמעות היא ”לבחור אחת מבין שתי האפשרויות‬
‫המוצעות“‪ .‬למשל‪” ,‬הטיסה שלי ממריאה בשעה ‪ 10‬או ממריאה בשעה ‪ “11‬ודי ברור‬
‫שאין אפשרות שהטיסה ממריאה בשתי השעות ‪ 10‬ו ‪ .11‬זו לא המשמעות של הקשר‬
‫”או“! לעומת זאת‪ ,‬קשר ”או“ )‪ (NON-EXCLUSIVE OR‬מאפשר לבחור גם את‬
‫שתי האפשרויות‪ .‬למשל‪” ,‬היום אני אלך לים או אפגש עם חברים )וייתכן שגם אלך לים‬
‫וגם אפגש עם חברים(”‪.‬כלומר‪ ,‬המשמעות המילולית של קשר ”או“ היא שיש לבחור‬
‫לפחות אחת מבין שתי האפשרויות המוצעות‪ .‬הפסוק ”היום יום א או שהגעתי לכיתה‬
‫בזמן“ יהיה אמיתי אם מתקיים לפחות אחד מהשניים ‪ :‬היום יום א או הגעתי לכיתה‬
‫בזמן‬

‫• סימון‪P ∨ Q :‬‬

‫‪2‬‬
‫• משמעות‪ :‬הפסוק ‪ P ∨ Q‬מקבל ערך אמת ‪ T‬כאשר לפחות אחד מבין הפסוקים ‪ P‬ו‬
‫‪ Q‬מקבלים ערך אמת ‪.T‬‬

‫• טבלת אמת‪ :‬בשתי העמודות השמאליות בטבלת האמת נרשום את כל האפשרויות של‬
‫ערכי אמת עבור שני הפסוקים ‪ P, Q‬ואילו בעמודה הימנית נרשום את ערכי האמת של‬
‫הפסוק המורכב ‪.P ∨ Q‬‬

‫‪P‬‬ ‫‪Q P ∨Q‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫קשר וגם ‪:AND‬‬ ‫‪1.1.5‬‬

‫• דוגמא‪” :‬היום יום א וגם הגעתי לכיתה בזמן“‪.‬‬

‫• משמעות מילולית‪ :‬המשמעות של קשר ”וגם“ זהה למשמעות המילה ”וגם“ בשפה‬
‫העיברית‪ .‬בשביל שהפסוק ”היום יום א וגם הגעתי לכיתה בזמן“ יהיה אמיתי שני‬
‫הבאים צריכים להיות אמיתיים‪” :‬היום יום א“ ו ”הגעתי לכיתה בזמן“‪.‬‬

‫• סימון‪P ∧Q :‬‬

‫• משמעות‪ :‬הפסוק ‪ P ∧Q‬מקבל ערך אמת ‪ T‬רק כאשר שני הפסוקים ‪ P‬וגם ‪ Q‬מקבלים‬
‫ערך אמת ‪.T‬‬

‫• טבלת אמת‪ :‬את טבלת האמת של קשר ”וגם“ תמלאו לבד בתרגיל הכיתה‪.‬‬

‫קשר גרירה‪ :‬אם‪....‬אז‪:...‬‬ ‫‪1.1.6‬‬

‫• דוגמא‪” :‬אם היום יום א’ אז הגעתי לכיתה בזמן“ ‪.‬‬

‫• סימון‪ P −→ Q :‬הפסוק ‪ P‬נקרא ”גורר“ ואילו הפסוק ‪ Q‬נקרא ”נגרר“‪.‬‬

‫• משמעות מילולית‪ :‬משמעות הגרירה היא ”הבטחה וקיומה“‪ .‬מובטח לנו שכאשר‬
‫הגורר אמיתי‪ ,‬גם הנגרר יהיה אמיתי‪ .‬מה קורה כאשר הגורר אמיתי ואילו הנגרר‬
‫שיקרי? במקרה זה‪ ,‬ההבטחה הופרה‪ .‬ולכן הפסוק ‪ P −→ Q‬יהיה שיקרי‪ .‬מה קורה‬
‫כאשר הגורר שיקרי? בדוגמא‪ ,‬מה קורה כאשר היום לא יום א? נחשוב על דוגמא אחרת‬
‫לרגע‪ .‬נתבונן בפסוק‪ ” :‬אם אזכה בלוטו אז אקנה לבן שלי בית“‪ .‬האם הבן שלי יכול‬
‫להגיד לי ששיקרתי אם לא זכיתי בלוטו ולכן לא קניתי לו בית? בוודאי שלא‪ .‬ההבטחה‬

‫‪3‬‬
‫היא שאם אזכה אז אקנה לו בית‪ .‬כל עוד לא זכיתי‪ ,‬גם לא שיקרתי כשהבטחתי שאקנה‬
‫לו בית‪.‬‬

‫• משמעות‪ :‬הפסוק ‪ P −→ Q‬יקבל ערך אמת ‪ F‬רק כאשר ‪ P‬מקבל ערך אמת ‪ T‬ואילו‬
‫‪ Q‬מקבל ערך אמת ‪.F‬‬

‫• טבלת אמת‪ :‬את טבלת האמת של קשר ”אם‪...‬אז‪ “...‬תמלאו לבד בתרגיל הכיתה‪.‬‬

‫קשר אם ורק אם ‪:IF AND ONLY IF‬‬ ‫‪1.1.7‬‬

‫• דוגמא‪” :‬היום ה ‪ 10‬בנובמבר אם ורק אם היום יש לי יום הולדת“‪.‬‬

‫• משמעות מילולית‪ :‬נתבונן בדוגמא ”היום ה ‪ 10‬בנובמבר אם ורק אם היום יש לי יום‬

‫הולדת“‪ .‬אם התאריך היום הוא ה ‪ 10‬בנובמבר אז בטוח שהיום יש לי יומהולדת‪ .‬אם‬
‫היום יש לי יום הולדת‪ ,‬אז התאריך הוא בהכרח ה ‪ 10‬בנובמבר‪ .‬המשמעות של הקשר‬
‫”אם ורק אם“ היא גרירה דו‪-‬כיוונית‪ .‬אם משהו אחד קורה אז השני חייב לקרות‪ ,‬ואם‬
‫הדבר השני קורה אז הדבר הראשון חייב לקרות גם‪.‬‬

‫• סימון‪P ←→ Q :‬‬

‫• משמעות‪ :‬בכדי שהפסוק ‪ P ←→ Q‬יקבל ערך אמת ‪ T‬בהכרח מתקיים כי ל ‪ P‬ול ‪Q‬‬
‫יש את אותו ערך אמת‪.‬‬

‫• טבלת אמת‪ :‬את טבלת האמת של קשר ”אם‪...‬אז‪ “...‬תמלאו לבד בתרגיל הכיתה‪.‬‬

‫קשר או המוציא ‪:EXCLUSIVE OR − XOR‬‬ ‫‪1.1.8‬‬

‫• דוגמא‪” :‬המספר הטבעי שבחרתי הוא זוגי או אי‪-‬זוגי“‪.‬‬

‫• משמעות מילולית‪ :‬משמעות ה ‪ XOR‬היא דומה יותר למשמעות המילה ”או“ כפי‬
‫שמשתמשים בה בשפה העיברית‪ .‬כלומר‪ ,‬כאן יש שתי אפשרויות וחייבים לבחור בדיוק‬
‫אחת מביניהן‪ .‬כאמור‪ ,‬בפסוק ”הטיסה שלי ממריאה בשעה ‪ 10‬או ממריאה בשעה ‪“11‬‬
‫ברור שישנה רק אפשרות אחת לשעת הטיסה שיכולה להיות נכונה‪.‬‬

‫• סימון‪P ⊕ Q :‬‬

‫• משמעות‪ :‬הפסוק ‪ P ⊕ Q‬מקבל ערך אמת ‪ T‬כאשר בדיוק אחד מבין הפסוקים ‪ P‬ו‬
‫‪ Q‬מקבל ערך אמת ‪.T‬‬

‫• טבלת אמת‪ :‬את טבלת האמת של קשר ”או המוציא“ תמלאו לבד בתרגיל הכיתה‪.‬‬

‫‪4‬‬
 ‫תרגילים‬ ‫‪1.2‬‬
‫‪ .1‬מלאו את טבלאות האמת הבאות‪:‬‬

‫‪P‬‬ ‫‪Q P ∧Q‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P −→ Q‬‬

‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P ←→ Q‬‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P ⊕Q‬‬

‫‪ .2‬על סמך טבלאות האמת של הקשרים שלמדנו‪ ,‬קיבעו מי מהטענות הבאות נכונה‪:‬‬
‫)הסימון ≡ משמעותו שקילות טאוטולוגית כפי שנלמד בשיעור הבא‪ .‬כרגע‪ ,‬התייחסו‬
‫למשמעות סימון זה כאל שיווין בטבלאות האמת‪(.‬‬

‫)א( ‪ ( P ) ≡ P‬‬
‫)ב( ‪P ∨ Q ≡ Q ∨ P‬‬
‫)ג( ‪P ∧ Q ≡ Q ∧ P‬‬
‫)ד( ‪P −→ Q ≡ Q −→ P‬‬

‫‪5‬‬
 ‫‪ .3‬נתבונן בפסוק‬

‫))‪( (P ∧ Q)) ∨ (P ∧ ( R‬‬

‫)א( קיבעו מהו ערך האמת של הפסוק כאשר ערכי האמת של הפסוקים היסודיים‬
‫הם ‪.P = T, Q = T, R = F‬‬
‫)ב( קיבעו מהו ערך האמת של הפסוק כאשר ערכי האמת של הפסוקים היסודיים‬
‫הם ‪.P = T, Q = T, R = T‬‬

‫‪ .4‬בתרגיל זה נתחיל להתבונן בפסוקים המכילים בתוכם יותר מקשר אחד‪ .‬כמקודם‪,‬‬
‫נסמן ‪” -P‬היום יום א“ ו ‪” -Q‬הגעתי לכיתה בזמן“‪.‬‬

‫)א( כיתבו במילים את השלילה של הפסוק ”היום יום א וגם הגעתי לכיתה בזמן“‪.‬‬
‫)ב( השתמשו בסימונים ‪ P‬ו ‪ Q‬ובקשרים שלמדנו בכדי לכתוב את השלילה של‬
‫הפסוק ”היום יום א וגם הגעתי לכיתה בזמן“‪.‬‬
‫)ג( כיתבו את טבלת האמת של השלילה של הפסוק ”היום יום א וגם הגעתי לכיתה‬
‫בזמן“‪.‬‬
‫)ד( לאחר שכתבתם במילים את שלילת הפסוק‪ ,‬האם אתם יכולים למצוא דרך נוספת‬
‫לכתוב את שלילת הפסוק תוך שימוש בסימונים ‪ Q ,P‬ובקשרים שלמדנו?‬

‫‪ .5‬כיתבו את טבלאות האמת של הפסוקים‪:‬‬

‫)א( )‪P ∨ (Q ∧ R‬‬

‫)ב( ‪(P ∨ Q) ∧ R‬‬
‫)ג( האם טבלאות האמת של הפסוקים בסעיפים הקודמים זהות? זהו את השורות‬
‫השונות בטבלאות האמת‪ .‬מה תוכלו להסיק על חשיבות הסוגריים בשני הפסוקים?‬

‫‪ .6‬כמה שורות יש בטבלת אמת של פסוק המורכב מ ‪ n‬פסוקים יסודיים? ראינו שכאשר‬
‫‪ n = 1‬בטבלת האמת יש ‪ 2‬שורות )כמו למשל טבלת האמת של קשר השלילה(‪ ,‬כאשר‬
‫‪ n = 2‬בטבלת האמת יש ‪ 4‬שורות )כמו למשל בטבלת האמת של כל יתר הקשרים‬
‫שראינו(‪ .‬הסבירו את תשובתכם‪.‬‬

‫‪ .7‬בתרגיל זה עליכם לכתוב את טבלת האמת של הפסוק‬

‫))‪(P −→ Q) −→ ((P ∨ (¬Q)) −→ (P ∧ Q‬‬

‫‪6‬‬
‫)א( קחו ‪2‬דק על השעון ונסו לכתוב את טבלת האמת של הפסוק‪ .‬אם הצלחתם‪:‬‬
‫מעולה!!!! אם לא‪ ,‬מעולה גם!!! הסעיפים הבאים יכווינו אותכם איך לכתוב את‬
‫טבלת האמת‪.‬‬
‫)ב( זהו תחילה את הקשר המרכזי‪ .‬העזרו בסוגריים ובמיקום שלהם על מנת לעשות‬
‫זאת‪.‬‬
‫)ג( לאחר שזיהיתם את הקשר המרכזי‪ ,‬פרקו כל אחד מהפסוקים שהם חלק מהקשר‬
‫המרכזי לפסוקים קטניים יותר לפי הצורך‪.‬‬
‫)ד( כעת אתם מוכנים לכתוב את טבלת האמת!‬

‫‪.8‬‬

‫)א( כיתבו פסוק כך שערך האמת שהוא מקבל הוא תמיד ‪ .T‬פסוק כזה נקרא טאוטולוגיה‪.‬‬
‫)ב( כיתבו פסוק כך שערך האמת שהוא מקבל הוא תמיד ‪ .F‬פסוק כזה נקרא סתירה‪.‬‬

‫‪7‬‬