הכלל היסק אומר
a,a->b
נותן b
נכון?
אם היה כתוב
x,x->y
נותן y
זה היה משנה את המשמעות?
כל העניין של הכללי היסק זה להלביש עליהם תבניות שנראות דומות..ע"מ להוכיח את הפסוקים שלך.
ממש קשה לי להסביר לך את זה דרך האינרטנט..אבל תתעסק לכללים כ משתנים..שעליהם אתה צריך להלביש משהו ע"מ להגיע למסקנה..

בעקרון מ avb
אתה יכול לקבל או a
או b
זה כבר לבחירת.
ויש לך את ה a->b..
והכלל היסק הראשון אומר
a,a->b
נותן b
אז קח את ה a
מלמעלה..
תוסיף לו את a->b
שנתון לך..
ולפי הכלל היסק הראשון הוכחת..
טעיתי בושרה אחת כי קשה לקורא ולכתוב במחשב את הכללים..
בעקרון אם יש לך מצב של
a,a->b
שיתן לך
b
אז אתה יכול לקחת גם
x,x->y
שיתן y
וכו'..הכללי היסק זה תבניות..מה שיש לך בטענות ובהוכחות זה המשתנים שאיתם אתה מציב בתבניות.