הצגת המקור של הדף "מודוס פוננס"

ב[[לוגיקה]], '''מודוס פוננס''' ('''Modus''' '''Ponens'''; וב[[עברית]]: כלל הניתוק{{הערה|{{צ-ספר|מחבר=עזריאל לוי, שמואל ברגר, דניאלה ליבוביץ|שם=לוגיקה מתמטית|מקום הוצאה=קלאוזנר, תל אביב יפו|מו"ל=האוניברסיטה הפתוחה|שנת הוצאה=|פרק=10|כרך=ב|שפה=עברית}}}}, לפעמים נקרא [[כלל היסק]] MP) הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:
#<math>A\to B</math> (אם מתקיים A אז מתקיים B).
#<math>A</math> (מתקיים A).
את המסקנה הבאה:
:*<math>B</math> (מתקיים B).

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

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

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

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

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

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

==קישורים חיצוניים==
*{{MathWorld}}
*{{בריטניקה}}
*{{לא מדויק|2007/09/20/hilbert_program_overview/|על תורה העומדת על כריעות תרנגולת}}

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

[[קטגוריה:לוגיקה מתמטית]]