כלל היסק

כללי היסק (באנגלית: Inference rule (או Rule of inference)) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.

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

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

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

לכן: כל הברווזים הם בעלי כנף

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

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

לכן: האגם קפוא

ובהצרנה באמצעות תחשיב הפסוקים:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P\rarr Q}

$\ P$

––––––––––––––––––––––––

$\ Q$

לעיתים מצוין היסק כזה באמצעות הסימן $\vdash$, כך:

$\ P\rightarrow Q,\ P\vdash Q$

כלל היסק נפוץ נוסף הוא מודוס טולנס:

$\ P\rightarrow Q,\ \neg Q\vdash \neg P$

וכן מקובל לקבל את הקונטרפוזיציה ככלל היסק:

$\ P\rightarrow Q\ \vdash \neg Q\rightarrow \neg P\$

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

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

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

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

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

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P}

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ Q}

––––––––––––––––––––––––

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P\rarr Q}

והרי דוגמה לכלל הוצאה של הקשר של הקוניונקציה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P \land Q}

––––––––––––––––––––––––

$\ P$

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

ראו גם

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

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0