g לפונקציה , g d וחוק 5 . 2 העביר אותנו מהפונקציה g d לפונקציה g de ( ה g שבצד השמאלי של חוק 5 . 2 במקרה שלנו היא . ( g d איזו מין פונקציה זו ? g de זוהי פונקציה שנותנת למשתנה x את הערך , d למשתנה y את הערך , e ולשאר המשתנים את הערכים ש g המקורית נתנה להם . עכשיו נשתמש בחוק 1 ונקבל : … imm kol-le d ∈ D : ye ∫ e ∈ D -kax ∫ e : < ⟨ x ⟩ M , g de , ⟨ y ⟩ M , g > ∈ ⟨ love ⟩ M , g , lo-va , 0 xy xy xy נשתמש בחוק 0 . 2 עבור המשתנים , ובחוק 0 . 1 עבור הפרדיקט ונקבל : … imm kol-le d ∈ D : ye ∫ e ∈ D -kax ∫ e : < g de ( x ) , g de ( y >) ∈ F ( love ) , lo-va , 0 למה שווים הביטויים שבתוך הסוגריים הזוויתיים ? על פי הגדרתה g de היא הפונקציה שנותנת למשתנה y את הערך e ולשאר המשתנים היא נותנת את מה ש g d נותנת להם . מהגדרתה , g d נותנת למשתנה x את הערך . d אם כך : de d g ( x ) = g ( x ) = d xy x de g ( y ) = e xy
אל הספר