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