מודוס פוננס
מתוך ויקיפדיה, האנציקלופדיה החופשית
בלוגיקה, מודוס פוננס הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים:
. (כלומר - מתקיים P).
(כלומר - אם מתקיים P אז מתקיים Q).
את המסקנה הבאה:
. (כלומר - מתקיים Q).
במילים פשוטות, אם קיים תנאי מסוים כדי שדבר מה יהיה נכון, ואם התנאי מתמלא, הרי שאותו דבר הוא נכון.
לדוגמה, נניח את שתי ההנחות הבאות:
- אם דמוקרטיה היא שיטת השלטון הטובה ביותר, אז על כולם להצביע.
- דמוקרטיה היא שיטת השלטון הטובה ביותר.
מכאן נסיק את המסקנה:
- על כולם להצביע.

