מודוס פוננס

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

1. ${\displaystyle P\to Q}$ (אם מתקיים P אז מתקיים Q).
2. ${\displaystyle P}$ (מתקיים P).

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

• ${\displaystyle Q}$ (מתקיים Q).

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

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

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

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

• יעקב שחור.

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

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

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

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

ראו גם

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