מודוס פוננס

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

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

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

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

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

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

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

  • אם דמוקרטיה היא שיטת השלטון הטובה ביותר, אז על כולם להצביע.
  • דמוקרטיה היא שיטת השלטון הטובה ביותר.

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

  • על כולם להצביע.


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