**כְּלָלֵי הֶסֵּק** (באנגלית: Inference rules, או Rules of inference) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.

כללי ההיסק הנפוצים ביותר
------------------------

בלוגיקה של אריסטו, כל אחת מצורות הסילוגיזם היא כלל היסק, למשל זו המתירה לנו לבצע את ההיסק (הטיעון) הבא:

1. כל הברווזים הם עופות.
2. כל העופות הם בעלי כנף.

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

1. אם הברווזים עפים אז האגם קפוא.
2. הברווזים עפים,

לכן: האגם קפוא.
ובהצרנה באמצעות תחשיב הפסוקים:

{\displaystyle {\begin{array}{rl}(1)&P\to Q\\(2)&P\\\hline \therefore &Q\end{array}}}
לעיתים מצוין היסק כזה באמצעות הסימן {\displaystyle \vdash }, כך:

{\displaystyle \{P\to Q,P\}\vdash Q}
כלל היסק נפוץ נוסף הוא מודוס טולנס:

{\displaystyle \{P\to Q,\neg Q\}\vdash \neg P}
וכן מקובל לקבל את הקונטרה פוזיטיב ככלל היסק:

{\displaystyle \{P\to Q\}\vdash (\neg Q\to \neg P)}

תחביר וסמנטיקה
--------------

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

כללי היסק מול אקסיומות
----------------------

יש להבחין הבחנה חדה בין כללי ההיסק ובין האקסיומות. אקסיומות הן טענות אמיתיות, המשמשות כבסיס לכל היסק במערכת. ואולם כללי ההיסק אינם חלק מן המערכת: הם כללים אודות המערכת, המאפשרים לנו לייצר היסק תקף או להבחין בין היסק תקף ושאינו תקף. משום כך, אין לראות בסימן {\displaystyle \vdash } קשר לוגי, ואת הייצוג של הטיעון, {\displaystyle \{P\to Q,P\}\vdash Q} אין לראות כמשפט מתוך השפה שאנו מתארים, אלא כתיאור של קשר בין שלושה משפטים מתוך השפה. אילו היינו מנסים לתפוס את כלל ההיסק כאקסיומה, היינו נגררים לרגרסיה האינסופית אותה מתאר לואיס קרול במאמרו הידוע, מה שהצב אמר לאכילס.

כללי ההיסק במערכת דדוקציה טבעית
-------------------------------

ניתן לבנות לתחשיב הפסוקים ולתחשיב הפרדיקטים מערכות הוכחה, שבהן ניתן להוכיח מכל קבוצת טענות נתונה טענות נוספות שנובעות ממנה. מערכות היסק אלה בנויות מכללים סינטקטיים (תחביריים) טכניים בלבד. המערכת הפשוטה ביותר עבור תחשיב הפסוקים היא "מערכת דדוקציה טבעית", המכילה עשרה כללי היסק. עבור כל אחד מחמשת הקשרים היא מכילה כלל הכנסה (Introduction) וכלל הוצאה (Elimination).

דוגמה ל**כלל הכנסה** (אינטרודוקציה) להקשר של פסוק התנאי:

{\displaystyle {\begin{array}{rl}(1)&P\\(2)&Q\\\hline \therefore &P\to Q\end{array}}}
דוגמה ל**כלל הוצאה** (אלימינציה) להקשר של פסוק ההלחם (הקוניונקציה):

{\displaystyle {\begin{array}{rl}(1)&P\land Q\\\hline \therefore &P\end{array}}}
מערכת זו היא נאותה (כלומר, כל נוסחה שניתנת להוכחה, היא אמיתית) ושלמה (כלומר, כל נוסחה אמיתית גם ניתנת להוכחה מקבוצה זו במערכת). גם לתחשיב הפרדיקטים ניתן לנסח מערכת דדוקציה טבעית, ובה נוסיף כללי הכנסה והוצאה עבור שני הכמתים.

ראו גם
------

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

קישורים חיצוניים
----------------

| מיזמי קרן ויקימדיה |
| --- |
| ויקימילון ערך מילוני בוויקימילון: **כלל הסק** |

* כלל היסק, באתר MathWorld (באנגלית)

| מסקנות לא-רלוונטיות (איגנורטיו אלנכי) וכשלים לוגיים |
| --- |
| כללי | דיקטו סימפליקיטר • אד נאוסאם • אקס סילנטיו • כשל הסתברות קודמת • בורות בלתי-מנוצחת • איש קש |
| פנייה אל הרגש | אד מטום • הסתמכות על החנופה • אד מיסריקורדיאם • בשם הלעג • לא הומצא כאן • אד אודיום • בשם ההומור • בשם הפטריוטיות • בשם הרצינות • בשם התועלת • כבוד בגלל קרבה |
| כשל גנטי | אד הומינם • אד ורקונדיאם • פנייה למניעים אישיים• אד אנטיקוויטם • אשמה בגלל קרבה • הרעלת בארות • רדוקטיו אד היטלרום • אד פופולום |
| אד קונסקוונטיאם | אד בקולום • בשם המשאלה |
| טווח ביניים | אבחנת פנטום • חשיבה בשחור לבן • מדרון חלקלק • דיקטו סימפליקיטר • אד טמפרנטיאם |
| כשלי סילוגיזם | איליקיט מיור • איליקיט מינור • כשל אמצע לא מופץ • מסקנה מחייבת מהנחה שוללת • כשל הנחות בלעדיות • כשל קיומי • אישור מופרד • דיקטו סקונדום |
| נון סקוויטור | אישור הסוגר • הכחשת הפותח • חוסר עקביות |
| שגיאת דגימה | גורמים לא מבוקרים • היקש עצל • מדגם לא מייצג • היפרבולה היקשית • הכללה נמהרת • הקבלה שגויה • חיוניות מטעה • יותר מדי חריגים • כשל אי הכללה • עיסוי נתונים |
| כשלי הסחה | אד איגנורנטיאם • כשל נטורליסטי • פלוריום אינטרוגטיונום • משתי עוולות יוצא צדק • כשל התנגדויות זניחות |
| פנייה אל הסמכות | אד אנטיקוויטם • אד לזרום • אד נוביטם • אד קרומנם • בשם האינדיבידואליזם • בשם האמינות • מומחים לא מזוהים • סמכות בלתי מעורערת • תמיכת המפורסם |
| שגיאות תצפית | דגימה מוטה • דגימה מוכתמת • הטיית הנסיין |