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

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