מודוס טולנס

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

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

לדוגמה, נניח את שתי ההנחות הבאות:
אם יעקב עורב, אז יעקב שחור.
יעקב אינו שחור.
מכאן נסיק את המסקנה:
יעקב אינו עורב.

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

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

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

ראו גם
מודוס פוננס
קונטרה פוזיטיב
כלל היסק
הוכחה בדרך השלילה

קישורים חיצוניים

הערות שוליים

ערכים שבהם תבנית בריטניקה אינה מתאימה
לוגיקה מתמטית