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

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