מודוס פוננס

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

1. . (כלומר - מתקיים P).
2. (כלומר - אם מתקיים P אז מתקיים Q).

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

• . (כלומר - מתקיים Q).

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

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

• אם קוות' עורב, אז קוות' הוא שחור.
• קוות' הוא עורב.

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

• קוות' הוא שחור.

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

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

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

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

[עריכה] ראו גם

• מה אמר הצב לאכילס