מודוס טולנס

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

$\ P\rightarrow Q$ (כלומר - אם מתקיים P אז מתקיים Q).
$\neg Q$ . (כלומר - לא מתקיים Q).

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

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

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

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

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

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

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

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

הוכחה

עקרון זה מוכח על ידי עקרון הקונטרה פוזיטיב ( $p\rightarrow q\iff \urcorner q\rightarrow \urcorner p$ ), ומעקרון מודוס פוננס, שקובע שמרגע שקיימת גרירה $p\rightarrow q$ , והרישא $p$ אמת, אז גם הסיפא $q$ אמת:

היות שנתון $\ P\rightarrow Q$ ועל פי הקונטרה פוזיטיב, מתקיים $\urcorner Q\rightarrow \urcorner P$ , ובתוספת $\urcorner Q$ ועל פי עקרון המודוס פוננס, הסיפא $\urcorner P$ מתקיימת – כך שעקרון המודוס טולנס מתקיים. ^[1]