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