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

בלוגיקה, עקרון הקונטרה פוזיטיב (באנגלית: Contrapositive) קובע שמצב שבו טענה <math>a</math> גוררת לוגית מסקנה <math>b</math>, שקול טאוטולוגית למצב בו שלילת המסקנה <math>\neg b</math> גוררת את שלילת הטענה המקורית <math>\neg a</math>.

בכתיב מתמטי: <math>a\to b\iff\neg b\to\neg a</math>.

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

==הסבר==
===דוגמה===
נתון ש־.

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

הצרנה של התהליך תהיה:
*<math>a</math> – 
*<math>b</math> – 

היות שנתון <math>a\to b</math> () אז מתקיים גם הקונטרה פוזיטיב של הנתון, <math>\neg b\to\neg a</math> ().

===המחשה חזותית===
מוכלת ב־B, או במילים אחרות, כל האיברים ששייכים ל־A שייכים גם ל־B.]]
בדיאגרמת ון שבתמונה, אם איבר <math>x</math> שייך לקבוצה <math>A</math>, הוא בהכרח גם שייך ל־<math>B</math>.

כשמסמנים <math>\begin{matrix}a=\text{“}x\in A\text{”}\\b=\text{“}x\in B\text{”}\end{matrix}</math>, הטענה הזו נכתבת <math>a\to b</math>. כך שעל פי עקרון הקונטרה פוזיטיב בהכרח <math>\neg b\to\neg a</math>.

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

==הוכחה==
הוכחה לשקילות הטאוטולוגית בין שני הפסוקים באמצעות לוח אמת פשוט:
{| class=wikitable style="text-align:center;"
|+ <math display=block>a\to b\iff\neg b\to\neg a</math>
! <math>\neg b\to\neg a</math>
! <math>\neg a</math>
! <math>\neg b</math>
! <math>a\to b</math>
!style="background:#20B2AA;"| <math>b</math>
!style="background:#20B2AA;"| <math>a</math>
|-
|style="background:#7CFC00;"| T
| F
| F
|style="background:#7CFC00;"| T
|style="background:#8FBC8F;"| T
|style="background:#8FBC8F;"| T
|-
|style="background:#FA8072;"| F
| F
| T
|style="background:#FA8072;"| F
|style="background:#8FBC8F;"| F
|style="background:#8FBC8F;"| T
|-
|style="background:#7CFC00;"| T
| T
| F
|style="background:#7CFC00;"| T
|style="background:#8FBC8F;"| T
|style="background:#8FBC8F;"| F
|-
|style="background:#7CFC00;"| T
| T
| T
|style="background:#7CFC00;"| T
|style="background:#8FBC8F;"| F
|style="background:#8FBC8F;"| F
|}

עמודת ה־<math>a\to b</math> שווה לעמודת ה־<math>\neg b\to\neg a</math> ב<span style=color:#4C7F4C;>כל צירוף ערכים אפשרי</span> של <math>a,b</math>, כלומר שהביטויים שקולים טאוטולוגית:
:<math>a\to b\equiv\neg b\to\neg a</math>
<math>\blacksquare</math>

==שימושים==
=== מודוס טוֹלֶּנְס ===

עקרון המודוס טולנס קובע שאם נתון <math>a\to b</math> ו־<math>\neg b</math>, אזי גם <math>\neg a</math>.

עיקרון זה מוכח על ידי שימוש בעקרון הקונטרה פוזיטיב כטאוטולוגיית בסיס. המעבר לכלל ההיסק הבא מתבצע תוך שימוש במודוס פוננס, שקובע שמרגע שקיימת גרירה <math>p\to q</math>, והרישא <math>p</math> אמת, אז גם הסיפא <math>q</math> אמת.
*נתון <math>a\to b</math>, ולכן על פי הקונטרה פוזיטיב מתקיים <math>\neg b\to\neg a</math>.
*היות שנתון <math>\neg b</math>, על פי עקרון המודוס פוננס והמסקנה הקודמת (<math>\neg b\to\neg a</math>), גם הסיפא <math>\neg a</math> מתקיימת.
*מכאן שבצירוף הנתונים <math>a\to b</math> ו־<math>\neg b</math> אכן ניתן להסיק את <math>\neg a</math>, כך שעקרון המודוס טולנס מתקיים.|

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

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

<math>b</math> הוא תנאי הכרחי לקיומה של טענה <math>a</math> אם <math>a\to b</math>. במצב שבו התנאי אינו מתקיים, כלומר <math>\neg b</math>, אזי על פי הקונטרה פוזיטיב ועקרון המודוס טולנס שנובע ממנו, בהכרח הטענה <math>a</math> אינה נכונה, ומתקיים <math>\neg a</math>. במילים אחרות – התנאי הכרחי, מפני שאם הוא לא מתקיים, אזי גם הטענה בהכרח לא מתקיימת.

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

==ראו גם==
*גרירה לוגית
*הוכחה

== לקריאה נוספת ==
<div dir="ltr">
*
*
*Audun Jøsang, 2016, Subjective Logic; A formalism for Reasoning Under Uncertainty Springer, Cham, 
</div>

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

==הערות שוליים==

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