‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי

‬ ‫מתמטיקה בדידה‬

‫המכללה האקדמית להנדסה בתל אביב‬

‫הרצאה מספר ‪1‬‬
‫לוגיקהמבוא לשפת תחשיב הפסוקי‬

‫פסוק הינו משפט חיווי אשר הינו אמיתי או שקרי‪.‬‬

‫לדוגמה‪ :‬היו
יו
ראשו‪ .‬הפסוק אמיתי בימי ראשו ושקרי ביו
שבת‪.‬‬
‫היו
מתקיי
שיעור בלוגיקה פסוק זה אמיתי בימי
שבה
מתקיי
שיעור בלוגיקה‪.‬‬
‫פסוקי
מסמני
באותיות לועזיות גדולות‪ .‬למשל ‪:‬‬
‫‪ Q‬היו
מתקיי
שיעור בלוגיקה‬ ‫‪ P‬היו
יו
ראשו‬
‫הפסוקי
הנ"ל הינ
פסוקי
יסודיי
פשוטי
‪ .‬פסוקי
מורכבי
בנויי
על ידי פסוקי
‬
‫יסודיי
‪+‬קשרי
‪.‬‬
‫לכל פסוק יש ער אמת אשר יכול להיות אמיתי או שקרי‪ .‬ער אמת אמיתי יסומ ‪(TRUE) T‬‬
‫ער אמת שיקרי יסומ ‪(FALSE) F‬‬
‫נבדוק ערכי אמת של מספר פסוקי
אשר אינ
יסודיי
‪:‬‬
‫קשר השלילה‬
‫דוגמה ‪ :1‬היו
לא יו
ראשו‪ .‬שלילה של הפסוק הראשו‪ .‬נגדיר סימו לשלילה ‪ ~ P‬או ‪¬P‬‬
‫קבוצת כל ערכי האמת האפשריי
של פסוק המורכב מפסוקי
יסודיי
מתוארת בטבלת אמת‪.‬‬
‫טבלת האמת של שלילה‪:‬‬
‫‪P‬‬ ‫‪~P‬‬

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

‫קשר "וג"‬
‫דוגמה ‪ :2‬היו
יו
ראשו ו היו
מתקיי
שיעור בלוגיקה‪.‬‬
‫הפסוק מורכב מ‪ 2‬פסוקי
יסודיי
‪ .‬ער האמת של הפסוק תלוי בער האמת של כל אחד מה
‪.‬‬
‫פסוק זה אמיתי א
ורק א
‪ 2‬פסוקיו היסודיי
אמיתיי
בו זמנית‪.‬‬
‫סימו ל"ו" ∧‬

‫טבלת האמת של הקשר "ו"‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P∧Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫‪1‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫קשר "או"‬
‫דוגמה ‪ :3‬היו
יו
ראשו או היו
מתקיי
שיעור בלוגיקה‪.‬‬
‫הפסוק מורכב מ‪ 2‬פסוקי
יסודיי
‪.‬‬
‫פסוק זה אמיתי א ורק א
לפחות אחד מפסוקיו היסודיי
אמיתי‪.‬‬
‫סימו ל"או" ∨‬

‫טבלת האמת של הקשר "או"‬

‫‪P‬‬ ‫‪Q‬‬ ‫‪P∨Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫קשר "א‪...‬אז‪"...‬‬
‫דוגמה ‪ :4‬א היו
יו
ראשו אז היו
מתקיי
שיעור בלוגיקה‪.‬‬
‫הפסוק מורכב מ‪ 2‬פסוקי
יסודיי
‪.‬‬
‫הפסוק הינו הבסיס לטענות מתימטיות‪ .‬נתייחס למשמעות הלוגית כאל הבטחה וקיומה‪.‬‬
‫א
היו
יו
ראשו אני מבטיחה שיתקיי
שיעור בלוגיקה‪.‬‬
‫א
היו
יו
ראשו והתקיי
שיעור אזי הפסוק אמיתיההבטחה קויימה‪.‬‬
‫א
היו
יו
ראשו ולא התקיי שיעור אזי הפסוק שקריההבטחה קויימה‬
‫א
היו
לא יו
שני לא משנה א
מתקיי
שיעור או לא ולכ הפסוק אמיתי‪.‬‬
‫סימו ל"א
‪...‬אז" →‬
‫טבלת האמת של הקשר "א
‪...‬אז‪...‬‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪P→Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬
‫קשר "א ורק א"‬
‫דוגמה ‪ :5‬היו
יו
ראשו א ורק א מתקיי
שיעור בלוגיקה‪.‬‬
‫הפסוק מורכב מ‪ 2‬פסוקי
יסודיי
‪ .‬א
היו
יו
שני אזי מתקיי
שיעור בלוגיקה ולהיפ א
‬
‫מתקיי
שיעור בלוגיקה היו
יו
שני‪.‬‬
‫כלומר ‪ 2‬הפסוקי
צריכי
להיות בעלי אותו ער אמת‪.‬‬
‫סימו ל"א
ורק א
" ↔‬

‫‪2‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫טבלת האמת של הקשר "א

ורק א
"‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪P↔Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬

‫קשר "או המוציא"‬

‫הפסוק מורכב מ‪ 2‬פסוקי
יסודיי
אשר לה
ער אמת שונה ‪,‬כלומר רק על אחד הפסוקי
‬
‫להיות אמיתי‪.‬‬
‫סימו ⊕‬
‫טבלת האמת של הקשר ⊕‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪P⊕Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫חישוב ער אמת של פסוק מורכב‪:‬‬

‫חישוב נעשה על ידי שימוש בטבלאות האמת לפסוקי
היסודיי
וע‪ %‬הבנייה של הפסוק‪.‬‬
‫‪1.‬‬ ‫דוגמאות ‪(P → Q ) → (( P ∨ (~ Q)) → ( P ∧ Q) ) :6‬‬
‫) )‪2. ~ (P ∨ (Q ∧ R) ) ↔ (( P ∨ Q) ∧ ( P ∨ R‬‬
‫)‪3. (~ P →~ Q ) → (Q → P‬‬
‫הגדרת טאוטולוגיה‪ :‬פסוק נקרא טאוטולוגיה א
הוא אמיתי לכל ערכי האמת האפשריי
של‬
‫פסוקיו היסודיי
‪ .‬כלומר‪ ,‬טבלת האמת שלו היא כולה ‪.T‬‬
‫דוגמאות ‪:7‬‬
‫‪ ( P ∧ Q ) ∨ R ↔ ( P ∨ R ) ∧ (Q ∨ R ) . 1‬טאוטולוגית הפילוג‬
‫טאוטולוגית דה מורג‬ ‫‪~ ( P ∧ Q ) ↔ (~ P ) ∨ (~ Q ) .2‬‬
‫טאוטולוגיה הנובעת ממשמעות הגרירה‬ ‫‪~ ( P → Q ) → ( P ∧ ~ Q ) .3‬‬
‫מתקבל מ ‪ 4‬על ידי ‪.2‬‬ ‫‪( P → Q) → (~ P ∨ Q ) .4‬‬
‫ב‪ .4 3‬נית להחלי) את סימ הגרירה בסימ גרירה דו כיוונית‪↔ .‬‬

‫‪3‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫בדיקה א פסוק הינו טאוטולוגיה נית‪ %‬לבצע ב‪ 2‬דרכי‪:‬‬

‫האחת ‪ :‬טבלת אמת‪ ,‬דר ארוכה ומייגעת כאשר יש יותר מ ‪ 3‬פסוקי
יסודיי
בפסוק‪.‬‬
‫השנייה‪ :‬ע‪ %‬שקר‪ ) .‬הוכחה בדר השלילה‪.‬‬
‫הערה‪ :‬מומל‪ %‬לכתוב הוכחות באופ ברור ומנומק על ידי חלוקה לשלבי
ומספור
‪.‬‬
‫סימו עזר מקוצר‪ " :‬נובע מטבלת האמת של הקשר → " נסמ‪Truth Table TT→ :‬‬
‫באופ דומה לגבי שאר הקשרי
‪.‬‬
‫דוגמה ‪ :8‬הוכח שהפסוק הבא הינו טאוטולוגיה‬
‫)))‪(~ (Q → ( P → R))) → (~ ( P → (Q → R‬‬
‫נניח בשלילה שהפסוק הנתו אינו טאוטולוגיה‬
‫⇐ )‪ ~ (Q → ( P → R)) (1‬אמיתי ‪ .‬נובע מ →‪TT‬‬

‫)‪ ~ ( P → (Q → R)) (2‬שקרי ‪ .‬נובע מ →‪TT‬‬

‫⇐ )‪ Q → ( P → R) (3‬שקרי ‪ .‬נובע מ)‪ (1‬ו →‪TT‬‬

‫⇐ )‪ Q (4‬אמיתי )‪ P → R (5‬שקרי ‪ .‬נובע מ )‪ (3‬ו →‪TT‬‬

‫)‪ R (6‬שקרי‪ .‬נובע מ )‪ (5‬ו →‪. TT‬‬ ‫⇐ )‪ P (5‬אמיתי‬

‫⇐ )‪ ~ ( P → (Q → R)) (7‬אמיתי‪ .‬נובע מ)‪ (5) (4‬ו)‪ .(6‬בסתירה ל)‪.(2‬‬

‫ההוכחה מתקבלת על ידי בניית ע‪ %‬הבנייה של הפסוק‪.‬‬

‫‪P‬‬ ‫‪R‬‬ ‫‪Q‬‬ ‫‪R‬‬

‫‪Q‬‬ ‫‪P→R‬‬ ‫‪P‬‬ ‫‪Q→R‬‬

‫))‪Q → ( P → R‬‬ ‫) ‪P → (Q → R‬‬

‫))‪~ (Q → ( P → R‬‬ ‫))‪~ ( P → (Q → R‬‬

‫)))‪(~ (Q → ( P → R))) → (~ ( P → (Q → R‬‬

‫‪4‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫הגדרת שקילות טאוטולוגית‪ :‬נאמר ששני פסוקי

הינ
שקולי
טאוטולוגית א
יש לה
‬
‫אות
ערכי אמת לכל ערכי האמת האפשריי
של פסוקיה
היסודיי
‪.‬‬
‫סימו‪P ≡ Q :‬‬
‫דוגמאות ‪( P ∧ Q) ∨ R ≡ ( P ∨ R) ∧ (Q ∨ R) :9‬‬
‫)‪~ ( P ∧ Q ) ≡ (~ P) ∨ (~ Q‬‬
‫‪~ ( P → Q) ≡ P ∧ ~ Q‬‬
‫‪~ ( P) → ((Q ∨ R )∧ ~ P) ≡ ((Q ∨ R) → P) → P‬‬
‫משפט‪ α ↔ β :‬טאוטולוגיה ⇔ ‪α ≡ β‬‬
‫הגדרת גרירה טאוטולוגית‪ :‬נאמר ‪ α‬גורר טאוטולוגית את ‪ β‬א
לכל ער אמת של הפסוקי
‬
‫היסודיי
עבור
‪ α‬אמיתי ג
‪ β‬אמיתי‪.‬‬
‫סימו‪α |= β :‬‬
‫באותו אופ עבור קבוצת פסוקי
‪ α 1 , α 2 ,...α n :‬גוררת טאוטולוגית את ‪ β‬א
לכל ער‬
‫אמת של הפסוקי
היסודיי
עבור
פסוקי הקבוצה אמיתיי
ג
‪ β‬אמיתי‪.‬‬
‫סימו‪α 1 , α 2 ,..., α n |= β :‬‬
‫לפסוקי
‪ α 1 , α 2 ,..., α n‬נקרא נתוני או הנחות‪ .‬ל ‪ β‬נקרא מסקנה‪.‬‬
‫‪P ∨ Q |= ~ (Q) → P‬‬ ‫דוגמאות ‪:10‬‬
‫‪P ∨ Q, P ↔ Q |= P ∧ Q‬‬

‫‪P1 , P2 ,..., Pn−1 |= Pn → Q ⇔ P1 , P2 ,..., Pn |= Q‬‬ ‫טענה על גרירה טאוטולוגית ‪:‬‬

‫הערה‪ :‬בתורה הפורמלית נראה חשיבותה הרבה של טענה זו ‪ ).‬בקורס בלוגיקה מתמטית(‬
‫דוגמה ‪:11‬‬
‫א
אמא צודקת ‪,‬הרי שא
דני לא יצליח בבחינה‪ ,‬אז דני לא בקיא בחומר‪.‬‬
‫א
דני אינו בקיא בחומר ‪,‬אז בהכרח הוא לא למד לבחינה‪.‬‬
‫א
דני לא למד לבחינה אזי המורה הייתה מגלה זאת‪.‬‬
‫המורה לא גילתה זאת‪.‬‬
‫מכא שא
דני לא יצליח בבחינה אזי אמא אינה צודקת‪.‬‬
‫א‪ .‬תרג
את ניתוח המצב לשפת פסוקי
‪ ,‬תו שימוש בסימני
הבאי
‪:‬‬
‫‪ C‬לא בקיא בחומר‬ ‫‪ –B‬דני לא יצליח‬ ‫‪– A‬אמא צודקת‬
‫‪ D‬לא למד לבחינה ‪ E‬המורה מגלה‬
‫הוכח את תקפותה של המסקנה בעזרת רישו
אנכי‪.‬‬ ‫ב‪.‬‬

‫פתרו‪:%‬‬
‫הנחות‪:‬‬ ‫א‪.‬‬

‫‪5‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫)‪(1) A → (B → C‬‬
‫‪(2)C → D‬‬
‫‪(3)D → E‬‬
‫‪(4)¬E‬‬
‫‪B → ¬A‬‬ ‫מסקנה‪:‬‬

‫ב‪ .‬נניח שההנחות אמתיות והמסקנה שקרית‪.‬‬

‫כיוו‪ %‬שהמסקנה שקרית ו →‪ TT‬נקבל ש )‪ B ( 5‬אמיתי ו)‪ ~A (6‬שקרי‪.‬‬

‫מ)‪ (6‬ו ~‪ TT‬נקבל ש‪ A (7) :‬אמיתי‪.‬‬

‫מ)‪ (4‬ו ~‪ TT‬נקבל ש‪ E (7) :‬שקרי‪.‬‬
‫מ)‪ (7) (3‬ו →‪ TT‬נקבל ש‪ D (8) :‬שקרי‪.‬‬

‫מ)‪ (8) (2‬ו →‪ TT‬נקבל ש )‪ C (9‬שקרי‪.‬‬

‫מ)‪ (7) (5‬ו)‪ (9‬נקבל ש‪ :‬הנחה )‪ (1‬הינה שקרית בסתירה לכ שכל ההנחות אמיתיות‪.‬‬
‫ולכ המסקנה הינה אמיתית‪.‬‬
‫ישנ ‪ 3‬מצבי האפשריי במערכת בה יש הנחות ומסקנה‪:‬‬
‫א‪ .‬גרירה טאוטולוגית‬
‫המסקנה נובעת טאוטולוגית מההנחות‪ :‬בכל שורה בטבלה עבורה‬
‫ההנחות אמיתיות ג
המסקנה אמיתית‪.‬‬
‫ב‪ .‬המסקנה מתיישבת ע ההנחות‬
‫המסקנה אינה נובעת טאוטולוגית מההנחות אול
מתיישבת אית‪:‬‬
‫כלומר‪ ,‬קיימת שורה שההנחות אמיתיות והמסקנה שקרית וקיימת‬
‫שורה שבה ההנחות אמיתיות והמסקנה אמיתית‪.‬‬
‫דוגמה ‪12‬‬
‫לזלמ התלבטות קשה‪:‬‬

‫א
אנג'לינה ג'ולי תינשא לזלמ וזלמ ירצה לגור בארה"ב אז זלמ יהיה בעל אזרחות אמריקאית‬
‫וג
בראד פיט יהיה שבור לב‪.‬‬
‫א
זלמ ירצה לגור בארה"ב ואנג'לינה ג'ולי לא תנשא לו אז זלמ יתחת ע
זלדה‪.‬‬
‫א
זלמ יתחת ע
זלדה אז בראד פיט יהיה שבור לב‪.‬‬
‫א
אנג'לינה ג'ולי תינשא לזלמ אז זלמ ירצה לגור בארה"ב‬
‫זלמ מסיק שבראד פיט יהיה שבור לב‪.‬‬

‫הא
המסקנה שהסיק זלמ נובעת מההנחות?‬
‫א‪ .‬הצר את הבעיה‪:‬תרג
את הבעיה לשפת תחשיב הפסוקי
‪.‬‬
‫ב‪ .‬הא
הטיעו תק)?‬
‫פתרו‪:‬‬
‫א‪ .‬נסמ‪ A :‬אנג'לינה ג'ולי תינשא לזלמ‬
‫‪ B‬זלמ ירצה לגור בארה"ב‬
‫‪ C‬זלמ יהיה בעל אזרחות אמריקאית‬
‫‪ D‬בראד פיט יהיה שבור לב‪.‬‬
‫‪ E‬זלמ יתחת ע
זלדה‬

‫‪6‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫נתרג
את ההנחות והמסקנה‪:‬‬
‫)‪(1) ( A ∧ B ) → (C ∧ D‬‬
‫‪(2) ( B ∧ (~ A)) → E‬‬
‫‪(3) E → D‬‬
‫‪( 4) A → B‬‬
‫‪D‬‬ ‫המסקנה‪:‬‬
‫ב‪ .‬נניח שהמסקנה שקרית ונראה א
קיימי
ערכי אמת לפסוקי
היסודיי
עבור
ההנחות‬
‫אמיתיות א המסקנה שקרית‪.‬‬
‫)א( מ)‪ (3‬וטבלת האמת של גרירה נסיק ש‪ E‬שקרי‪.‬‬
‫)ב( מ)‪) (2‬ב( וטבלת האמת של גרירה נסיק ש‪ B ∧ (~ A) :‬שקרי‪.‬‬
‫)ג( מ)ב( וטבלת האמת של " וג
" נסיק ש‪ B‬שקרי או ‪ ~ A‬כלומר ‪ A‬אמיתי‪.‬‬
‫)ד( נניח ש‪ B‬שקרי ‪ ,‬נציב את כל ערכי האמת ‪ A :‬אמיתי ‪ B‬שקרי ו ‪ D‬שקרי ב)‪(1‬‬
‫קבלנו פסוק אמיתי‪.‬‬
‫ולכ עבור ערכי אמת אלו ללא חשיבות לער האמת של ‪ C‬נקבל שההנחות אמיתיות א המסקנה‬
‫שקרית ולכ הטיעו אינו תק)‪.‬‬

‫ג‪ .‬המסקנה וההנחות אינ קבוצה עקבית‬

‫כלומר אי שורה בטבלת האמת שבה ג
ההנחות וג
המסקנה אמיתיות בו זמנית‪.‬‬
‫‪~ A, A |= B‬‬ ‫דוגמה ‪:15‬‬

‫‪7‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫החומר הבא אופציונלי ואינו במסגרת הקורס במתמטיקה בדידה‬

‫בדיקת תקפות טיעו‪ %‬על ידי הוכחה‬
‫ההוכחה הינה השיטה הנפוצה ביותר לוודא שאכ מסקנה נובעת ממספר הנחות נתונות‪.‬‬
‫כלומר בהנת קבוצת פסוקי
המהוי
הנחות ופסוק שהוא המסקנה או טיעו‪ ,‬ההוכחה הינה‬
‫סדרה של פסוקי
אשרכל אחד ‪:‬א‪ .‬נובע מההנחות‬
‫או‬
‫ב‪ .‬נובע מאכסיומות ידועות )טאוטולוגיות(‬
‫או‬
‫ג‪ .‬נובע על ידי כללי היסק מהפסוקי
הקודמי
‪.‬‬
‫כללי היסק הינ
כללי
יסודיי
בלוגיקה‪ ,‬נראה מקצת מהשכיחי
ביותר‪.‬‬
‫כללי היסק‪:‬‬
‫‪α ,α → β‬‬
‫‪MP‬‬ ‫‪I‬‬
‫‪β‬‬
‫‪,α → β , ~ β‬‬
‫‪II‬‬
‫‪~α‬‬
‫‪α∧β α∧β‬‬
‫‪,‬‬ ‫‪III‬‬
‫‪α‬‬ ‫‪β‬‬
‫‪α‬‬ ‫‪β‬‬
‫‪,‬‬ ‫‪IV‬‬
‫‪α∨β α∨β‬‬
‫‪α, β‬‬
‫‪V‬‬
‫‪α∧β‬‬
‫‪α → β, β → γ‬‬
‫‪VI‬‬
‫‪α →γ‬‬
‫‪α ∨ β,~ β‬‬
‫‪VII‬‬
‫‪α‬‬
‫‪α→β‬‬
‫‪VIII‬‬
‫‪~ β →~ α‬‬
‫) ‪~ (~ α‬‬
‫‪IX‬‬
‫‪α‬‬

‫‪8‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫דוגמה ‪13‬‬
‫הראה כי‪A, D, D → ( A → B ) |= B ∨ C :‬‬

‫)‪(1‬‬ ‫‪A‬‬ ‫הנחה‬

‫‪( 2) D‬‬ ‫הנחה‬
‫)‪(3‬‬ ‫)‪D → ( A → B‬‬ ‫הנחה‬
‫)‪( 4‬‬ ‫‪A→B‬‬ ‫מ)‪ (2‬ו)‪I (3‬‬
‫‪(5) B‬‬ ‫מ)‪ (1‬ו)‪I (4‬‬
‫‪( 6) B ∨ C‬‬ ‫מ)‪ (5‬ו‪IV‬‬

‫דוגמה‪ :‬נפתור את דוגמה ‪ 13‬באמצעות כללי היסק‪.‬‬

‫א
אמא צודקת ‪,‬הרי שא
דני לא יצליח בבחינה‪ ,‬אז דני לא בקיא בחומר‪.‬‬
‫א
דני אינו בקיא בחומר ‪,‬אז בהכרח הוא לא למד לבחינה‪.‬‬
‫א
דני לא למד לבחינה אזי המורה הייתה מגלה זאת‪.‬‬
‫המורה לא גילתה זאת‪.‬‬
‫מכא שא
דני לא יצליח בבחינה אזי אמא אינה צודקת‪.‬‬
‫פתרו‪:%‬‬
‫הנחות‪:‬‬ ‫א‪.‬‬
‫)‪(1) A → (B → C‬‬
‫‪(2)C → D‬‬
‫‪(3)D → E‬‬
‫‪(4) ~ E‬‬
‫‪B →~ A‬‬ ‫מסקנה‪:‬‬
‫ב‪ .‬הוכחה באמצעות כללי היסק‪.‬‬
‫נשתמש ב טענה על גרירה טאוטולוגית ונצר) את ‪ B‬לשאר ההנחות‪ .‬נותר להוכיח את ‪~ A‬‬
‫‪(5) B‬‬

‫‪( 6) ~ D‬‬ ‫מ )‪ (4) (3‬ו ‪II‬‬

‫‪(7 ) ~ C‬‬ ‫מ )‪ (6) (2‬ו ‪II‬‬
‫) ‪(8) B ∧ (~ C‬‬ ‫מ)‪V (7) (5‬‬
‫) ‪(9) ~ ( B → C‬‬ ‫מ )‪ ( 8‬וטאוטולוגיה )*(‬
‫‪(10) ~ A‬‬ ‫מ)‪II (8) (1‬‬

‫) ‪A ∧ B ≡ ~ ( A →~ B‬‬ ‫טאוטולוגיה )*(‬

‫‪9‬‬
‫שרה מיברג‬ ‫מבוא לשפת תחשיב הפסוקי
‬ ‫מתמטיקה בדידה‬

‫דוגמה ‪14‬‬
‫א
הורי הנסיכה אינ
מרוצי
‪ ,‬אז א
הנסיכה והצפרדע חיי
באושר עד עצ
היו
הזה אז‬
‫הנסיכה לא נישקה את הצפרדע‪.‬‬
‫א
הצפרדע לא הפ לנסי אז הנסיכה והצפרדע חיי
באושר עד עצ
היו
הזה‪.‬‬
‫הנסיכה לא נישאה לנסי‪.‬‬
‫הורי הנסיכה אינ
מרוצי
או הנסיכה נישאה לנסי‪.‬‬
‫לכ‪ ,‬א
הנסיכה נשקה את הצפרדע אז הצפרדע הפ לנסי‪.‬‬

‫א‪ .‬תרג
לשפת תחשיב הפסוקי
‪.‬הצג את הבעיה‪.‬‬
‫ב‪ .‬הוכח שהמסקנה נובעת מההנחות באמצעות רישו
אנכי וכללי היסק‪.‬‬
‫הוכחה בדר אחרת תזכה בניקוד חלקי‪.‬‬
‫פתרו‪ :%‬א‪.‬‬
‫‪ A‬הורי הנסיכה מרוצי‬
‫‪ B‬הנסיכה והצפרדע חיי באושר עד עצ היו הזה‪.‬‬
‫‪ C‬הנסיכה נשקה את הצפרדע‪.‬‬
‫‪ D‬הצפרדע הפ לנסי‬
‫‪ E‬הנסיכה נישאה לנסי ‪.‬‬

‫‪(~ A) → ( B → (~ C )), (~ D ) → B, ~ E , ~ A ∨ E |= C → D‬‬

‫ב‪ .‬הוכחת גרירה טאוטולוגית‪.‬‬

‫נתו‬ ‫)‪(~ A) → ( B → (~ C )) (1‬‬
‫נתו‬ ‫)‪(~ D ) → B (2‬‬
‫נתו‬ ‫)‪~ E (3‬‬
‫יש להראות‪C → D :‬‬ ‫נתו‬ ‫)‪(~ A) ∨ E (4‬‬
‫לפי טענה על גרירה טאוטולוגית שקול להוסי) את ‪C‬‬ ‫)‪C (5‬‬
‫כנתו ולהוכיח את ‪D‬‬
‫)‪VII (4) (3‬‬ ‫)‪~ A (6‬‬
‫)‪I (6) (1‬‬ ‫)‪B → (~ C ) (7‬‬
‫)‪II (7) (5‬‬ ‫)‪~ B (8‬‬
‫)‪II (8) (2‬‬ ‫)‪~ (~ D ) (9‬‬
‫)‪X I ( 9‬‬ ‫)‪D (10‬‬

‫‪10‬‬