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

תוכן שנמחק תוכן שנוסף
←‏עריכת ההקדמה: אינדוקציה VS דדוקציה
←‏עריכת ההקדמה: בעצם עדיף ככה
שורה 1:
'''כללי היסק''' או "חוקי היסק" הם ה[[אקסיומה|אקסיומות]] הבסיסיות ביותר של ה[[מתמטיקה]] וה[[לוגיקה]]. אקסיומות אלו עוסקות בדרך בה ניתן להסיק (כלומר [[הוכחה|להוכיח]]) מטענה א' את טענה ב'.
 
כל מערכת היסק שהיא: