מודוס טולנס

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

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

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

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

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

  • אם הייתי רעב, אז הייתי אוכל.
  • אינני אוכל.

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

  • אינני רעב.

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

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

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

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

ראו גם[עריכת קוד מקור | עריכה]