לוגיקה מילולית

דוגמה:
נתון: "כל הסטודנטים במחלקה למדעי המחשב לומדים מתמטיקה. דני סטודנט במחלקה למדעי המחשב."

(א) "דני לומד מתמטיקה" → בהכרח נכון ✅
(ב) "דני לא לומד פיזיקה" → לא ניתן לקבוע ❓ (לא נאמר כלום על פיזיקה)
(ג) "כל מי שלומד מתמטיקה הוא סטודנט למדעי המחשב" → בהכרח שגוי? לא! → לא ניתן לקבוע ❓

תרחיש 1 — שרשרת הסקה:
נתונים: כל הנמרים מהירים. כל החיות המהירות אוכלות בשר. טיגריס הוא נמר.
שאלה: מה נכון על טיגריס?

פתרון: טיגריס = נמר → מהיר → אוכל בשר.
תשובה: טיגריס אוכל בשר.

תרחיש 2 — סתירה:
נתונים: (1) כל התלמידים בכיתה א' לומדים אנגלית. (2) חלק מתלמידי כיתה א' לומדים צרפתית. (3) אף תלמיד שלומד צרפתית לא לומד ספרדית.
שאלה: איזה מהבאים לא יכול להיות נכון?
(א) יש תלמיד בכיתה א' שלומד אנגלית וצרפתית
(ב) יש תלמיד בכיתה א' שלומד אנגלית וספרדית
(ג) יש תלמיד בכיתה א' שלומד צרפתית וספרדית
(ד) יש תלמיד בכיתה א' שלומד רק אנגלית

פתרון: מהנחה 3 — צרפתית וספרדית לא יכולים להיות ביחד. לכן (ג) לא יכול להיות נכון.
תשובה: (ג)