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

בלוגיקה, עקרון הקונטרה פוזיטיב (באנגלית: Contrapositive) קובע שמצב שבו טענה a {\displaystyle a} גוררת לוגית מסקנה b {\displaystyle b} , שקול טאוטולוגית למצב בו שלילת המסקנה ¬ b {\displaystyle \neg b} גוררת את שלילת הטענה המקורית ¬ a {\displaystyle \neg a} . בכתיב מתמטי: a → b ⟺ ¬ b → ¬ a {\displaystyle a\to b\iff \neg b\to \neg a} . הביטוי הימני הוא הקונטרה פוזיטיב של הביטוי השמאלי, ואחד מהם מתקיים אם ורק אם האחר מתקיים. נתון ש־”אם יורד גשם, אז אני לובש מעיל”. שימוש בעקרון הקונטרה פוזיטיב על המשפט יוביל למסקנה שאם אני לא לובש מעיל, אז בהכרח לא יורד גשם – כי אילו היה יורד גשם, בהכרח הייתי לובש מעיל. הצרנה של התהליך תהיה: a {\displaystyle a} – ”יורד גשם” b {\displaystyle b} – ”לובש מעיל” היות שנתון a → b {\displaystyle a\to b} (”אם יורד גשם, אז אני לובש מעיל”) אז מתקיים גם הקונטרה פוזיטיב של הנתון, ¬ b → ¬ a {\displaystyle \neg b\to \neg a} (”אם אני לא לובש מעיל, אז לא יורד גשם”). בדיאגרמת ון שבתמונה, אם איבר x {\displaystyle x} שייך לקבוצה A {\displaystyle A} , הוא בהכרח גם שייך ל־ B {\displaystyle B} . כשמסמנים a = “ x ∈ A ” b = “ x ∈ B ” {\displaystyle {\begin{matrix}a={\text{“}}x\in A{\text{”}}\\b={\text{“}}x\in B{\text{”}}\end{matrix}}} , הטענה הזו נכתבת a → b {\displaystyle a\to b} . כך שעל פי עקרון הקונטרה פוזיטיב בהכרח ¬ b → ¬ a {\displaystyle \neg b\to \neg a} . במילים אחרות, אם x {\displaystyle x} לא שייך ל־ B {\displaystyle B} אז הוא גם לא שייך ל־ A {\displaystyle A} . ואכן, על פי התמונה אם איבר נמצא מחוץ ל־ B {\displaystyle B} אז הוא בהכרח מחוץ ל־ A {\displaystyle A} – כי כל איבר בתוך A {\displaystyle A} הוא גם בתוך B {\displaystyle B} . הוכחה לשקילות הטאוטולוגית בין שני הפסוקים באמצעות לוח אמת פשוט: עמודת ה־ a → b {\displaystyle a\to b} שווה לעמודת ה־ ¬ b → ¬ a {\displaystyle \neg b\to \neg a} בכל צירוף ערכים אפשרי של a , b {\displaystyle a,b} , כלומר שהביטויים שקולים טאוטולוגית: a → b ≡ ¬ b → ¬ a {\displaystyle a\to b\equiv \neg b\to \neg a} ◼ {\displaystyle \blacksquare } ערך מורחב – מודוס טולנס עקרון המודוס טולנס קובע שאם נתון a → b {\displaystyle a\to b} ו־ ¬ b {\displaystyle \neg b} , אזי גם ¬ a {\displaystyle \neg a} . עיקרון זה מוכח על ידי שימוש בעקרון הקונטרה פוזיטיב כטאוטולוגיית בסיס. המעבר לכלל ההיסק הבא מתבצע תוך שימוש במודוס פוננס, שקובע שמרגע שקיימת גרירה p → q {\displaystyle p\to q} , והרישא p {\displaystyle p} אמת, אז גם הסיפא q {\displaystyle q} אמת. נתון a → b {\displaystyle a\to b} , ולכן על פי הקונטרה פוזיטיב מתקיים ¬ b → ¬ a {\displaystyle \neg b\to \neg a} . היות שנתון ¬ b {\displaystyle \neg b} , על פי עקרון המודוס פוננס והמסקנה הקודמת ( ¬ b → ¬ a {\displaystyle \neg b\to \neg a} ), גם הסיפא ¬ a {\displaystyle \neg a} מתקיימת. מכאן שבצירוף הנתונים a → b {\displaystyle a\to b} ו־ ¬ b {\displaystyle \neg b} אכן ניתן להסיק את ¬ a {\displaystyle \neg a} , כך שעקרון המודוס טולנס מתקיים.| ערך מורחב – תנאי הכרחי עקרון המודוס טולנס הוא זה שמאפשר את קיומם של תנאים הכרחיים – טענות שאם הן לא מתקיימות, ניתן להסיק בוודאות שטענה אחרת גם היא לא מתקיימת. b {\displaystyle b} הוא תנאי הכרחי לקיומה של טענה a {\displaystyle a} אם a → b {\displaystyle a\to b} . במצב שבו התנאי אינו מתקיים, כלומר ¬ b {\displaystyle \neg b} , אזי על פי הקונטרה פוזיטיב ועקרון המודוס טולנס שנובע ממנו, בהכרח הטענה a {\displaystyle a} אינה נכונה, ומתקיים ¬ a {\displaystyle \neg a} . במילים אחרות – התנאי הכרחי, מפני שאם הוא לא מתקיים, אזי גם הטענה בהכרח לא מתקיימת. למשל, נתון ש־”אם יורד גשם, אז אני לובש מעיל“, ובנוסף ש־”אני לא לובש מעיל“. לכן, בהכרח גם לא יורד גשם. יש הכרח שתתקיים הטענה ”אני לובש מעיל“, מפני שאילולא כן, בוודאות ”לא יורד גשם“. הגרירה לא בהכרח נכונה בכיוון ההפוך, מכיוון שיכולה להתקיים הטענה ”אני לובש מעיל“ מבלי שירד גשם. גרירה לוגית הוכחה 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, ISBN 978-3-319-42337-1 מדיה וקבצים בנושא קונטרה פוזיטיב בוויקישיתוף "The Law of Contraposition". beisecker.faculty.unlv.edu. נבדק ב-2019-11-26. "Definition of CONTRAPOSITIVE". www.merriam-webster.com (באנגלית). נבדק ב-2019-11-26. Richard Hammack, Contrapositive Proof, VIRGINIA COMMONWEALTH UNIVERSITY (באנגלית) Eric W. Weisstein, Modus Tollens, mathworld.wolfram.com (באנגלית) Frederick T. Sheldon, Section 1.3 Review | Argument Forms, Oak Ridge National Laboratory, Computer Science and Mathematics Division Michael Shaffer, Necessary and Sufficient Conditions, 2020-11-18