מודוס פוננס

בלוגיקה, מודוס פוננס (Modus Ponens; ובעברית: כלל הניתוק, לפעמים נקרא כלל היסק MP) הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:

1. <math>A\to B</math> (אם מתקיים A אז מתקיים B, בדרך כלל מנוסח "A גורר B").
2. <math>A</math> (מתקיים A).

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

• <math>B</math> (מתקיים B).

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

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

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

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

• יעקב שחור.

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

ראו גם

• מודוס טולנס
• מה שהצב אמר לאכילס

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

• מודוס פוננס, באתר MathWorld (באנגלית)
• מודוס פוננס, באתר אנציקלופדיה בריטניקה (באנגלית)
• גדי אלכסנדרוביץ', על תורה העומדת על כריעות תרנגולת, באתר "לא מדויק", 20 בספטמבר 2007