מודוס טולנס

מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:

  1. (כלומר - אם מתקיים P אז מתקיים Q).
  2. . (כלומר - לא מתקיים Q).

את המסקנה הבאה:

  • . (כלומר - לא מתקיים P).

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

לדוגמה, נניח את שתי ההנחות הבאות:

  • אם יעקב עורב, אז יעקב שחור.
  • יעקב אינו שחור.

מכאן נסיק את המסקנה:

  • יעקב אינו עורב.

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

שתי הטענות הבאות שקולות:

  • אם A אז B.
  • אם לא B אז לא A.

פעמים רבות נעשית השגיאה הבאה: הסקה שמ"אם A אז B" נובע "אם לא A אז לא B".

ראו גםעריכה