קונטרה פוזיטיב

בלוגיקה, עקרון הקונטרה פוזיטיב (באנגלית: Contrapositive) קובע שמצב שבו טענה $\alpha$ גוררת לוגית מסקנה $\beta$, שקול טאוטולוגית למצב בו שלילת המסקנה $\neg \beta$ גוררת את שלילת הטענה המקורית $\neg \alpha$.

בכתיב מתמטי: ${\textstyle \alpha \rightarrow \beta \iff \neg \beta \rightarrow \neg \alpha }$.

הביטוי הימני הוא הקונטרה פוזיטיב של הביטוי השמאלי, ואחד מהם מתקיים אם ורק אם האחר מתקיים.

הסבר

דוגמה

נתון ש־”אם יורד גשם, אז אני לובש מעיל”.

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

הצרנה של התהליך תהיה:

• $\alpha$ – ”יורד גשם”
• $\beta$ – ”לובש מעיל”

היות שנתון $\alpha \rightarrow \beta$ (”אם יורד גשם, אז אני לובש מעיל”) אז מתקיים גם הקונטרה פוזיטיב של הנתון, $\neg \beta \rightarrow \neg \alpha$ (”אם אני לא לובש מעיל, אז לא יורד גשם”).

המחשה חזותית

קבוצה A מוכלת ב־B, או במילים אחרות, כל האיברים ששייכים ל־A שייכים גם ל־B.

בדיאגרמת ון שבתמונה, אם איבר $x$ שייך לקבוצה $A$, הוא בהכרח גם שייך ל־$B$.

כשמסמנים ${\begin{matrix}\alpha ={\text{“}}x\in A{\text{”}}\\\beta ={\text{“}}x\in B{\text{”}}\end{matrix}}$, הטענה הזו נכתבת $\alpha \rightarrow \beta$. כך שעל פי עקרון הקונטרה פוזיטיב בהכרח $\neg \beta \rightarrow \neg \alpha$.

במילים אחרות, אם $x$ לא שייך ל־$B$ אז הוא גם לא שייך ל־$A$. ואכן, על פי התמונה אם איבר נמצא מחוץ ל־$B$ אז הוא בהכרח מחוץ ל־$A$.

הוכחה

הוכחה לשקילות הטאוטולוגית בין שני הפסוקים באמצעות לוח אמת פשוט:

$$\alpha \rightarrow \beta \iff \neg \beta \rightarrow \neg \alpha$$

$\neg \beta \rightarrow \neg \alpha$	$\neg \alpha$	$\neg \beta$	$\alpha \rightarrow \beta$	$\beta$	$\alpha$
$T$	$F$	$F$	$T$	$T$	$T$
$F$	$F$	$T$	$F$	$F$	$T$
$T$	$T$	$F$	$T$	$T$	$F$
$T$	$T$	$T$	$T$	$F$	$F$

עמודת ה־$\alpha \rightarrow \beta$ שווה לעמודת ה־$\neg \beta \rightarrow \neg \alpha$ בכל צירוף ערכים אפשרי של $\alpha$ ו־$\beta$, כלומר שהביטויים שקולים טאוטולוגית:

$\alpha \rightarrow \beta \equiv \neg \beta \rightarrow \neg \alpha$ $\blacksquare$

שימושים

פרק זה לוקה בחסר. אנא תרמו למכלול והשלימו אותו.

מודוס טוֹלֶנְס

ערך מורחב – מודוס טולנס

עקרון המודוס טולנס קובע שאם נתון $\alpha \rightarrow \beta$ ו־$\neg \beta$, אזי גם $\neg \alpha$.

עקרון זה מוכח על ידי שימוש בעקרון הקונטרה פוזיטיב כטאוטולוגיית בסיס. המעבר לכלל ההיסק הבא מתבצע תוך שימוש במודוס פוננס, שקובע שמרגע שקיימת גרירה $p\rightarrow q$, והרישא $p$ אמת, אז גם הסיפא $q$ אמת.

• נתון $\alpha \rightarrow \beta$, ולכן על פי הקונטרה פוזיטיב מתקיים $\neg \beta \rightarrow \neg \alpha$.
• היות שנתון $\neg \beta$, על פי עקרון המודוס פוננס והמסקנה הקודמת ($\neg \beta \rightarrow \neg \alpha$), גם הסיפא $\neg \alpha$ מתקיימת.
• מכאן שבצירוף הנתונים $\alpha \rightarrow \beta$ ו־$\neg \beta$ אכן ניתן להסיק את $\neg \alpha$, כך שעקרון המודוס טולנס מתקיים.

תנאים הכרחיים

ערך מורחב – תנאי הכרחי

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

$\beta$ הוא תנאי הכרחי לקיומה של טענה $\alpha$ אם $\alpha \rightarrow \beta$. במצב שבו התנאי אינו מתקיים, כלומר $\neg \beta$, אזי על פי הקונטרה פוזיטיב ועקרון המודוס טולנס שנובע ממנו, בהכרח הטענה $\alpha$ אינה נכונה, ומתקיים $\neg \alpha$. במילים אחרות – התנאי הכרחי, מפני שאם הוא לא מתקיים, אזי גם הטענה בהכרח לא מתקיימת.

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

ראו גם

• גרירה לוגית
• הוכחה

לקריאה נוספת

• Converse, Inverse, and Contrapositive of Conditional Statement - ChiliMath, ChiliMath, ‏4 בפברואר 2020
• Frederick T. Sheldon, Review 1.2 | Conditional Statement Forms, Oak Ridge National Laboratory, Computer Science and Mathematics Division
• Audun Jøsang, 2016, Subjective Logic; A formalism for Reasoning Under Uncertainty Springer, Cham, מסת"ב 978-3-319-42337-1

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

מדיה וקבצים בנושא קונטרה פוזיטיב בוויקישיתוף

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

33141913קונטרה פוזיטיב