מודוס פוננס

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בלוגיקה, מודוס פוננס הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:

  1. \ P\rarr Q (אם מתקיים P אז מתקיים Q).
  2. \ P (מתקיים P).

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

  • \ Q (מתקיים Q).

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

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

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

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

  • יעקב שחור.

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

שתי הטענות הבאות שקולות:

  • אם A אז B.
  • אם לא B אז לא A.

פעמים רבות נעשית השגיאה הבאה: הסקה שמ"אם A אז B" נובע "אם לא A אז לא B".

ראו גם[עריכת קוד מקור | עריכה]