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