כלל היסק – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
עריכה
עריכה, עריכה
שורה 1:
'''כללי [[היסק]]''' (באנגלית: inference rule) הם הכללים הבסיסיים ביותר ב[[לוגיקה]] וב[[מתמטיקה]], הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או [[הוכחה|להוכיח]] אותה.
 
 
==כללי ההיסק הנפוצים ביותר==
ב[[לוגיקה של אריסטו]], כל אחת מצורות ה[[סילוגיזם]] היא כלל היסק, למשל זו המתירה לנו לבצע את ההיסק הבא:
 
# כל הברווזים הם עופות
# כל העופות הם בעלי כנף
שורה 6 ⟵ 10:
 
 
כלל ההיסק הנפוץ ביותר בלוגיקהב[[לוגיקה#לוגיקה בת ימינו|לוגיקה המודרנית]] הוא '''[[מודוס פוננס]]''', המאפשר לבצע את ההיסק הבא:
# אם הברווזים עפים אז האגם קפוא
# הברווזים עפים
שורה 32 ⟵ 36:
 
==כללי היסק מול אקסיומות==
יש להבחין הבחנה חדה בין כללי היסקההיסק ובין ה[[אקסיומה|אקסיומות]]. אקסיומות הן טענות אמיתיות, המשמשות כבסיס לכל היסק במערכת. ואולם כללי ההיסק אינם חלק מן המערכת: הם כללים אודות המערכת, המאפשרים לנו לייצר היסק תקף או להבחין בין היסק תקף ושאינו תקף.