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