yüklem değişkeni anlamı İng. predicate variable Alm. Praedikatenvariable Fr. variable de prédicats
1- Değer alanı n-li yüklem kaplamlarından ya da başka bir deyişle n-li kaplamsal bağıntılardan oluşan değişken. 2- Değer alanı n-li yüklem içlemlerinden ya da başka bir deyişle n-li özniteliklerden oluşan bireysel olmayan değişken.