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

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