מודוס פוננס
קפיצה לניווט
קפיצה לחיפוש
בלוגיקה, מודוס פוננס (ובעברית-כלל הניתוק)[1] הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:
- (אם מתקיים P אז מתקיים Q).
- (מתקיים P).
את המסקנה הבאה:
- (מתקיים Q).
במילים פשוטות, אם קיים תנאי מסוים כדי שדבר מה יהיה נכון, ואם התנאי מתמלא, הרי שאותו דבר הוא נכון.
לדוגמה, נניח את שתי ההנחות הבאות:
- אם יעקב עורב, אז יעקב שחור.
- יעקב עורב.
מכאן נסיק את המסקנה:
- יעקב שחור.
חשוב להדגיש שההנחות לא בהכרח נכונות, אך אם הן נכונות, המסקנה "יעקב שחור" נובעת מהן. הלוגיקה מאפשרת הסקת מסקנות מהנחות יסוד, בלי קשר לנכונותן.
שתי הטענות הבאות שקולות:
- אם A אז B.
- אם לא B אז לא A.
פעמים רבות נעשית השגיאה הבאה: הסקה שמ"אם A אז B" נובע "אם לא A אז לא B".
ראו גם[עריכת קוד מקור | עריכה]
קישורים חיצוניים[עריכת קוד מקור | עריכה]
- מודוס פוננס, באתר MathWorld (באנגלית)
הערות שוליים[עריכת קוד מקור | עריכה]
- ^ עזריאל לוי, שמואל ברגר, דניאלה ליבוביץ, לוגיקה מתמטית, קלאוזנר, תל אביב יפו: האוניברסיטה הפתוחה, פרק 10, כרך ב. (בעברית)