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

‫מפגש ‪1‬‬
‫‪20.10.2020‬‬
‫כרמית בנבנישתי‬

‫כתובת דוא"ל ‪carmit.benbenishty@gmail.com‬‬

‫שעת הנחיה טלפונית‪ :‬ימי שני ‪16:30-17:30‬‬

‫חובות הקורס‪:‬‬
‫הגשת ממ"נים וממ"חים (דרך מערכת המטלות)‬
‫הגשת ממ"נים‪ -‬דרך מערכת המטלות‪ ,‬קובץ אחד עבור כל מטלה‪ pdf ,‬או ‪word‬‬
‫קריאת החומר‬
‫בחינה‬

‫מבנה הקורס‪:‬‬
‫מבוא מהיר ללוגיקה‬
‫תורת הקבוצות‬
‫קומבינטוריקה‬
‫תורת הגרפים‬
 ‫מבוא מהיר ללוגיקה‬

‫פסוקים וערכי אמת‬

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

‫דוגמאות לפסוקים‪:‬‬

‫היום יום שלישי‬ ‫‪.1‬‬

‫היום יום רביעי‬ ‫‪.2‬‬
‫‪( 5=3‬ערך האמת הוא ‪)F‬‬ ‫‪.3‬‬
‫‪( 3=1+2‬ערך האמת הוא ‪)T‬‬ ‫‪.4‬‬
‫גיטרה הוא כלי מיתר‬ ‫‪.5‬‬
‫‪( 4=1+2‬ערך האמת הוא ‪)F‬‬ ‫‪.6‬‬

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

‫‪1+2 .1‬‬
‫‪ .2‬תוף מרים‬
‫‪ .3‬איזה יום היום?‬

‫תרגיל‪:‬‬
‫עבור כל אחד מהמשפטים הבאים‪ ,‬קבעו אם הוא פסוק‪ ,‬ואם כן‪-‬מהו ערך האמת שלו‪:‬‬
‫תוף הוא כלי מיתר‬ ‫‪.1‬‬
‫‪2+3>7‬‬ ‫‪.2‬‬
‫מה נאכל היום?‬ ‫‪.3‬‬
‫כלב הוא בעל‪-‬חיים ממשפחת היונקים‬ ‫‪.4‬‬
 ‫תרגיל‪:‬‬
‫עבור כל אחד מהמשפטים הבאים‪ ,‬קבעו אם הוא פסוק‪ ,‬ואם כן‪-‬מהו ערך האמת שלו‪:‬‬
‫תוף הוא כלי מיתר פסוק (‪)F‬‬ ‫‪.1‬‬
‫פסוק (‪)F‬‬ ‫‪2+3>7‬‬ ‫‪.2‬‬
‫לא פסוק‬ ‫מה נאכל היום?‬ ‫‪.3‬‬
‫פסוק (‪)T‬‬ ‫כלב הוא בעל‪-‬חיים ממשפחת היונקים‬ ‫‪.4‬‬
‫קשרים לוגיים‬

‫(~)‬ ‫‪ .1‬קשר השלילה ¬‬

‫דוגמאות‪:‬‬

‫א‪ 2+3 .‬שווה ‪7‬‬

‫שלילת הפסוק‪ 2+3 :‬לא שווה ‪7‬‬

‫ב‪ .‬המצלמה נמצאת מתחת לארון‬

‫שלילת הפסוק‪ :‬המצלמה לא נמצאת מתחת לארון‬

‫ג‪ .‬המחשב הזה שחור‬

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

‫לוח האמת של קשר השלילה‪:‬‬

‫‪P‬‬ ‫𝑝¬‬

‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬
 ‫(סימון‪)∧ :‬‬ ‫‪ .2‬קשר "וגם"‬

‫דוגמאות‪:‬‬

‫א‪ .‬אני לומד באוניברסיטה וגם היום יום שלישי‪.‬‬

‫ב‪ 2+3=7 .‬וגם ‪4+5=9‬‬

‫לוח האמת של קשר "וגם"‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞 ∧‪p‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬
 ‫‪ .3‬קשר "או" ∨‬

‫(כשאומרים "או" במתמטיקה‪ ,‬מתכוונים‪ ,‬שלפחות אחד מהתנאים‬

‫מתקיים)‪.‬‬

‫דוגמאות‪:‬‬

‫א‪ 2+3=7 .‬או ‪4+5=9‬‬

‫ב‪ 2+3=5 .‬או ‪4+5=9‬‬
‫ג‪ 2+3=7 .‬או ‪4+5=10‬‬

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

‫‪p‬‬ ‫‪q‬‬ ‫𝑞 ∨‪p‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬
 ‫‪ .4‬קשר "אם ‪ ....‬אז" →‬

‫דוגמאות‪:‬‬

‫א‪ .‬אם היום יום שבת אז היום יום חופש‪.‬‬

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

‫לוח האמת של קשר "אם אז‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞 →‪p‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬
 ‫‪ .5‬קשר "אם ורק אם" ↔‬

‫דוגמה‪:‬‬

‫היום יום שלישי אם ורק אם היום מתקיימים לימודים באוניברסיטה‪.‬‬

‫לוח האמת של קשר אם ורק אם‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞 ↔‪p‬‬

‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬
 ‫הצרנות‬

‫הצרנה‪ :‬ייצוג טענות מילוליות בשפה פורמלית‬

‫תרגיל‪:‬‬

‫‪ P‬היום יום שבת‬ ‫נסמן ‪:‬‬

‫‪ :Q‬היום אמא שתתה קפה‬

‫היום שטנו בסירה‬ ‫‪R‬‬

‫הצרינו את הפסוקים הבאים‪:‬‬

‫א‪ .‬היום יום שבת אם ורק אם היום אמא לא שתתה קפה‬

‫ב‪ .‬אם היום שטנו בסירה אז היום יום שבת‬

‫ג‪ .‬היום יום שבת או היום אמא שתתה קפה‬

 ‫תרגיל‪:‬‬

‫‪ P‬היום יום שבת‬ ‫נסמן ‪:‬‬

‫‪ :Q‬היום אמא שתתה קפה‬

‫היום שטנו בסירה‬ ‫‪R‬‬

‫הצרינו את הפסוקים הבאים‪:‬‬

‫א‪ .‬היום יום שבת אם ורק אם היום אמא לא שתתה קפה‬

‫)𝑞¬( ↔ 𝑝‬

‫𝑝→𝑟‬ ‫ב‪ .‬אם היום שטנו בסירה אז היום יום שבת‬

‫ג‪ .‬היום יום שבת או היום אמא שתתה קפה 𝑞 ∨ 𝑝‬

‫תרגיל‪:‬‬
‫כתבו את השלילה של כל אחד מהפסוקים הבאים‪:‬‬

‫‪ 2‬כפול ‪ 5‬שווה ‪10‬‬ ‫א‪.‬‬

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

‫‪ 2‬כפול ‪ 5‬שווה ‪ 2 10‬כפול ‪ 5‬לא שווה ‪10‬‬

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

‫דוגמה‪ :‬האם הפסוק )𝑞¬( ∨ )𝑞 → 𝑝( הוא טאוטולוגיה?‬

‫דרך אחת לפתרון‪ :‬נבנה את לוח האמת של הפסוק‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞→𝑝‬ ‫𝑞¬‬ ‫)𝑞¬( ∨ )𝑞 → 𝑝(‬

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

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

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

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

‫לכן הפסוק )𝑞¬( ∨ )𝑞 → 𝑝( הוא טאוטולוגיה‪.‬‬

 ‫האם הפסוק )𝑞¬( ∨ )𝑞 → 𝑝( הוא טאוטולוגיה?‬

‫דרך נוספת לפתרון‪:‬‬

‫נניח בשלילה שהפסוק )𝑞¬( ∨ )𝑞 → 𝑝( אינו טאוטולוגיה‪.‬‬

‫אז קיים מצב‪ ,‬שבו ערך האמת של הפסוק )𝑞¬( ∨ )𝑞 → 𝑝( הוא ‪.F‬‬
‫מקשר "או" נובע שבמצב זה ערך האמת של כל אחד מהפסוקים 𝑞 → 𝑝 ו 𝑞¬ הוא‬
‫‪.F‬‬
‫מכאן במצב זה מתקיים‪ q :‬מקבל במצב זה את הערך ‪T‬‬
‫ובנוסף‪ p ,‬מקבל את הערך ‪ T‬וגם ‪ q‬מקבל את הערך ‪.F‬‬

‫כלומר‪ ,‬ערך האמת של ‪ q‬הוא ‪ T‬ו ‪ F‬בו זמנית ‪ ,‬וזה לא ייתכן‪.‬‬

‫מכאן‪ ,‬הפסוק )𝑞¬( ∨ )𝑞 → 𝑝( לעולם לא מקבל את הערך ‪ ,F‬ולכן הוא טאוטולוגיה‪.‬‬
 ‫סתירה‪:‬‬
‫הגדרה‪ :‬פסוק נקרא סתירה אם העמודה הימנית בלוח האמת שלו מכילה רק ‪F‬‬

‫דוגמה‪ :‬האם הפסוק 𝑞 ∧ ))𝑞 → 𝑝(¬( הוא סתירה?‬

‫נבנה את לוח האמת של הפסוק‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞→𝑝‬ ‫)𝑞 → 𝑝(¬‬ ‫𝑞 ∧ ))𝑞 → 𝑝(¬(‬

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

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

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

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

‫לכן 𝑞 ∧ ))𝑞 → 𝑝(¬( הוא סתירה‪.‬‬

‫דרך אחרת לפתרון ‪:‬‬

‫נניח בשלילה שהפסוק 𝑞 ∧ ))𝑞 → 𝑝(¬( אינו סתירה‪.‬‬

‫אז קיים מצב שבו ערך האמת של פסוק זה הוא ‪.T‬‬
‫מקשר "וגם" נובע שערך האמת של כל אחד מהפסוקים )𝑞 → 𝑝(¬ ו ‪ q‬הוא ‪.T‬‬
‫מכאן נובע שבמצב זה ערך האמת של הפסוק 𝑞 → 𝑝 הוא ‪ ,F‬וערך האמת של הפסוק‬
‫‪ q‬הוא ‪.T‬‬
‫אז" נובע שבמצב זה ערך האמת של ‪ p‬הוא ‪ ,T‬וערך האמת של ‪ q‬הוא ‪.F‬‬ ‫מקשר "אם‬
‫כלומר ערך האמת של ‪ q‬הוא ‪ T‬ו ‪ F‬בו זמנית וזה לא ייתכן‪.‬‬
‫מכאן הפסוק 𝑞 ∧ ))𝑞 → 𝑝(¬( לעולם לא מקבל את הערך ‪ ,T‬ולכן הוא סתירה‪.‬‬
‫הערה‪ :‬נניח ש 𝛼 הוא טאוטולוגיה‪ .‬כלומר‪ ,‬בעמודה הימנית בלוח האמת שלו‬
‫מופיע תמיד ‪.T‬‬
‫לכן‪ ,‬לפי קשר השלילה‪ ,‬בעמודה הימנית בלוח האמת של הפסוק 𝛼¬ מופיע‬
‫תמיד ‪ ,F‬ומכאן פסוק זה הוא סתירה‪.‬‬

‫המחשה‪:‬‬

‫‪p‬‬ ‫𝑞→𝑝 ‪q‬‬ ‫𝑞¬‬ ‫)𝑞¬( ∨ )𝑞 → 𝑝(‬ ‫))𝑞¬( ∨ )𝑞 → 𝑝((¬‬

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

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

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

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

 ‫שקילות טאוטולוגית‬

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

‫מאוחד‪.‬‬

‫סימון‪ :‬אם 𝛼 ו 𝛽 הם פסוקים שקולים‪ ,‬אז נסמן 𝛽 ≡ 𝛼‬

‫דוגמה‪ :‬נראה ש‬
‫𝑞→𝑝‬ ‫≡‬ ‫𝑞 ∨ )𝑝¬(‬

‫נבנה לוח אמת מאוחד‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑝¬‬ ‫𝒒 ∨ )𝒑¬(‬ ‫𝒒→𝒑‬

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

‫לכן נובע ששני הפסוקים הם שקולים‪.‬‬

 ‫𝑟 → )𝑞 → 𝑝( הם שקולים?‬ ‫ו‬ ‫תרגיל‪ :‬האם הפסוקים )𝑟 → 𝑞( → 𝑝‬

‫𝑟 → )𝑞 → 𝑝(‬ ‫≢‬ ‫נראה ש )𝑟 → 𝑞( → 𝑝‬

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

‫במצב שבו ערך האמת של ‪ p‬הוא ‪ , F‬ערך האמת של ‪ q‬הוא ‪ ,T‬וערך האמת של ‪ r‬הוא‬
‫‪,F‬‬
‫נקבל‪ :‬לפי קשר "אם אז" ערך האמת של )𝑟 → 𝑞( → 𝑝 הוא ‪,T‬‬
‫ערך האמת של 𝑞 → 𝑝 הוא ‪ T‬ומכך שערך האמת של ‪ r‬הוא ‪ ,F‬נובע שערך האמת של‬
‫𝑟 → )𝑞 → 𝑝( הוא ‪.F‬‬
‫𝑟 → )𝑞 → 𝑝(‬ ‫ו‬ ‫לכן קיים מצב שבו שני הפסוקים )𝑟 → 𝑞( → 𝑝‬

‫מקבלים ערכי אמת שונים‪ ,‬ולכן הם לא שקולים‪.‬‬

 ‫ניתוח מצבים‪:‬‬
‫נשאל באיזה מצב הפסוק‬
‫𝑟 → )𝑞 → 𝑝(‬
‫מקבל את הערך ‪.F‬‬
‫ערך האמת של ‪ r‬הוא בהכרח ‪ F‬וערך האמת של 𝑞 → 𝑝 הוא בהכרח ‪.T‬‬

‫נרצה שבמצב זה ערך האמת של הפסוק )𝑟 → 𝑞( → 𝑝 הוא ‪T‬‬

‫למשל‪ ,‬במצב שבו ‪ p‬מקבל את הערך ‪ F‬מתקיים‪ :‬ערך האמת של כל אחד מהפסוקים‬

‫הוא ‪.T‬‬ ‫𝑞 → 𝑝 ו )𝑟 → 𝑞( → 𝑝‬

‫בעמוד ‪ 24‬מופיעות שקילויות שימושיות‪.‬‬

 ‫גרירה טאוטולוגית ונביעה טאוטולוגית‬

‫הגדרה‪ :‬נאמר שפסוק 𝛼 גורר טאוטולוגית פסוק 𝛽 (סימון ‪ )𝛼 ⇒ 𝛽 :‬אם בלוח‬

‫האמת המאוחד שלהם‪ ,‬בכל שורה שבה ערך האמת של 𝛼 הוא ‪ ,T‬גם ערך‬
‫האמת של 𝛽 הוא ‪.T‬‬

‫במקרה זה נאמר שהפסוק 𝛽 נובע טאוטולוגית מהפסוק 𝛼‪.‬‬

‫𝑞∨𝑝⇒ 𝑞∧𝑝‬ ‫דוגמה‪ :‬נראה ש‬

‫נבנה את לוח האמת המאוחד שלהם‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞∧𝑝‬ ‫𝑞∨𝑝‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫מלוח האמת המאוחד נובע ש 𝑞 ∨ 𝑝 ⇒ 𝑞 ∧ 𝑝‬

 ‫דוגמה נוספת‪:‬‬

‫נתבונן בפסוקים‪:‬‬
‫𝑟 → )𝑞 → 𝑝(‬

‫)𝑟 → 𝑞( → 𝑝‬ ‫ו‬
‫נבנה לוח אמת מאוחד עבורם‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫‪r‬‬ ‫𝑞→𝑝‬ ‫𝑟→𝑞‬ ‫𝑟 → )𝑞 → 𝑝(‬ ‫)𝑟 → 𝑞( → 𝑝‬

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

‫𝑟 → )𝑞 → 𝑝( גורר טאוטולוגית את )𝑟 → 𝑞( → 𝑝‬
‫נאמר שפסוק 𝛼 לא גורר טאוטולוגית פסוק 𝛽 אם בלוח האמת המאוחד שלהם‪,‬‬
‫קיימת שורה שבה ערך האמת של 𝛼 הוא ‪ ,T‬אבל ערך האמת של 𝛽 הוא ‪.F‬‬

‫דוגמה‪:‬‬
‫𝑞∨𝑝⇏ 𝑞⟶𝑝‬

‫נבנה לוח אמת משותף‪:‬‬

‫‪p‬‬ ‫‪q‬‬ ‫𝑞⟶𝑝‬ ‫𝑞∨𝑝‬

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

‫קיימת שורה בלוח האמת המאוחד‪ ,‬שבה ערך האמת של הפסוק‬

‫𝑞⟶𝑝‬

‫אבל ערך האמת של הפסוק 𝑞 ∨ 𝑝 הוא ‪ ,F‬ולכן‬

‫𝑞∨𝑝⇏ 𝑞⟶𝑝‬

‫וגם 𝛽 גורר טאוטולוגית את 𝛼 אז‬ ‫הערה‪ :‬אם פסוק 𝛼 גורר טאוטולוגית פסוק 𝛽‬
‫𝛼 ו 𝛽 שקולים‪.‬‬
‫וגם 𝛽 גורר‬ ‫וגם להיפך‪ :‬אם 𝛼 ו 𝛽 שקולים אז 𝛼 גורר טאוטולוגית את 𝛽‬
‫טאוטולוגית את 𝛼‬
 ‫כמתים‬
‫כמת "לכל" ∀‬

‫כמת "קיים" ∃‬

‫דוגמאות להצרנות‪:‬‬
‫דוגמה ‪ :1‬לכל מספר קיים נגדי (כך שסכומם הוא ‪)0‬‬

‫)‪∀𝑥∃𝑦(𝑥 + 𝑦 = 0‬‬

‫דוגמה ‪ :2‬לכל מספר שונה מאפס קיים הופכי (לכפל)‬

‫כל מספר‪ ,‬אם הוא שונה מאפס אז יש לו הפכי‬
‫))‪∀𝑥((𝑥 ≠ 0) → ∃𝑦(𝑥𝑦 = 1‬‬

‫שלילה "לכל" ו"קיים"‬

‫כל המחשבים הם שחורים‬

‫שלילה‪ :‬לא כל המחשבים הם שחורים‬
‫קיים מחשב שאינו שחור‬

‫קיים מתמטיקאי שמרכיב משקפיים‬

‫שלילה‪ :‬לא קיים מתמטיקאי שמרכיב משקפיים‬
‫כל המתמטיקאים לא מרכיבים משקפיים‪.‬‬
 ‫דוגמה‪:‬‬
‫נצרין פסוק ששקול לשלילת הפסוק ‪ :‬לכל מספר קיים נגדי‬

‫)‪∀𝑥∃𝑦(𝑥 + 𝑦 = 0‬‬

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

‫קיים מספר שאין לו נגדי‬
‫קיים מספר ‪ , x‬כך שלכל מספר ‪ y‬מתקיים‪𝑥 + 𝑦 ≠ 0 :‬‬

‫)‪∃𝑥∀𝑦(𝑥 + 𝑦 ≠ 0‬‬

‫סדר הכמתים משמעותי!‬

‫למשל‪ ,‬משמעות הפסוק‬

‫)‪∀𝑥∃𝑦(𝑥 + 𝑦 = 0‬‬
‫היא‪ :‬לכל מספר יש נגדי‪.‬‬

‫אבל‪ ,‬משמעות הפסוק‬

‫)‪∃𝑥∀𝑦(𝑥 + 𝑦 = 0‬‬

‫קיים מספר‪ ,‬כך שכל מספר הוא נגדי שלו‪.‬‬

 ‫שאלה מבחינה‪:‬‬

‫נתבונן בפסוק‪:‬‬
‫‪ :P‬לכל אדם כוכב יש בשמיים‪ ,‬כוכב המתגלה עם רדת יום‪.‬‬
‫איזו טענה שקולה לשלילת ‪:P‬‬
‫‪ .1‬לכל אדם כוכב יש בשמיים‪ ,‬כוכב שאינו מתגלה עם רדת יום‪.‬‬

‫‪ .2‬לאף אדם אין בשמיים כוכב המתגלה עם רדת יום‪.‬‬

‫‪ .3‬יש אדם שאין לו בשמים כוכב המתגלה עם רדת יום‪.‬‬

 ‫שאלה מבחינה‪:‬‬

‫נתבונן בפסוק‪:‬‬
‫‪ :P‬לכל אדם כוכב יש בשמיים‪ ,‬כוכב המתגלה עם רדת יום‪.‬‬
‫איזו טענה שקולה לשלילת ‪:P‬‬
‫‪ .1‬לכל אדם כוכב יש בשמיים‪ ,‬כוכב שאינו מתגלה עם רדת יום‪.‬‬

‫‪ .2‬לאף אדם אין בשמיים כוכב המתגלה עם רדת יום‪.‬‬

‫‪ .3‬יש אדם שאין לו בשמים כוכב המתגלה עם רדת יום‬

‫תשובה‪.3 :‬‬

‫לכל אדם יש מחשב שחור‬

‫שלילה‪ :‬לא לכל אדם יש מחשב שחור‬

‫יש אדם שאין לו מחשב שחור‬
 ‫שאלה מבחינה‪:‬‬
‫נניח ש 𝛼 הוא פסוק‪ .‬סמנו את התשובה הנכונה‪:‬‬

‫‪ 𝛼 → ¬𝛼 .1‬סתירה‬
‫‪ 𝛼 → ¬𝛼 .2‬אינו טאוטולוגיה‬
‫‪ .3‬אף טענה אינה נכונה‬
 ‫שאלה מבחינה‪:‬‬
‫נניח ש 𝛼 הוא פסוק‪ .‬סמנו את התשובה הנכונה‪:‬‬

‫𝛼¬ → 𝛼 סתירה‬ ‫‪.1‬‬

‫𝛼¬ → 𝛼 אינו טאוטולוגיה‬ ‫‪.2‬‬
‫𝛼¬ → )𝛼¬ → 𝛼( טאוטולוגיה‬ ‫‪.3‬‬
‫אף טענה אינה נכונה‬ ‫‪.4‬‬

‫נראה ש ‪ 1‬ו ‪ 2‬לא נכונים‪ :‬למשל‪ ,‬עבור הפסוק 𝑝¬ ∧ 𝑝 = 𝛼 ‪ .‬מתקיים‪:‬‬

‫הוא סתירה‪ ,‬ולכן במקרה זה הפסוק 𝛼¬ → 𝛼 הוא טאוטולוגיה‪.‬‬ ‫𝑝¬ ∧ 𝑝 = 𝛼‬

‫‪p‬‬ ‫𝑝¬‬ ‫𝑝¬ ∧ 𝑝 = 𝛼‬ ‫𝛼¬ → 𝛼‬

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

‫לכן ‪ 1‬ו ‪ 2‬לא נכונים‪.‬‬

‫כעת עבור ‪:3‬‬

‫נתון הפסוק 𝛼¬ → )𝛼¬ → 𝛼(‬
‫נראה שפסוק זה הוא טאוטולוגיה (ללא תלות בפסוק 𝛼)‬
‫כלומר‪ ,‬נראה שלא ייתכן מצב שבו פסוק זה מקבל את הערך ‪:F‬‬
‫אם יש מצב שבו הפסוק 𝛼¬ → )𝛼¬ → 𝛼( מקבל את הערך ‪,F‬‬
‫אז בהכרח במצב זה 𝛼¬ מקבל את הערך ‪ F‬ו 𝛼¬ → 𝛼 מקבל את הערך ‪.T‬‬
‫לכן בהכרח במצב זה 𝛼 מקבל את הערך ‪ T‬ולכן 𝛼¬ → 𝛼 מקבל את הערך ‪.F‬‬
‫כלומר‪ ,‬במצב זה הפסוק 𝛼¬ → 𝛼 מקבל בו זמנית את הערכים ‪ T‬ו ‪ ,F‬וזה לא ייתכן‪.‬‬
‫לכן לא קיים מצב שבו הפסוק 𝛼¬ → )𝛼¬ → 𝛼( מקבל את הערך ‪ ,F‬ולכן הוא‬
‫טאוטולוגיה‪.‬‬

‫לכן תשובה ‪ 3‬היא נכונה‪.‬‬

‫לשיעור הבא‪ :‬לקרוא פרק ‪ 1‬בספר "תורת הקבוצות"‬