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