מודוס פוננס

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

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

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

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

שתי הטענות הבאות שקולות:
אם A אז B.
אם לא B אז לא A.

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

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

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

הערות שוליים

לוגיקה מתמטית