yüklem(Alm. Prädikat, n; Fr. prédicat, m; İng. predicate) blşm. 1. Belirli bir kümeden değer alan bir değişkenin bir koşulu sağlayıp sağlamadığını veya bir özelliği taşıyıp taşımadığını bildiren iki değerli fonksiyon. 2. Bir tümcede yer alan bir ya da daha fazla ögeyi açıklayan ve cümlenin ağırlığını, yükünü üzerine alıp taşıyan öge.
yüklem mantığı(Alm. Prädikatenlogik, f; Fr. logique des prédicats, f; İng. predicate logic) blşm. Matematiksel mantıkta, nesnelerin taşıdıkları ortak özelliklere göre nesne toplulukları üzerinde mantıksal işlemlerle yapılan ifade oluşturma ve hesaplama dili.