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