predicate

Türkçe: yüklem

Açıklama: Yüklem; mantıkta değişkene bağlı önerme