predicate variable

[ریاضیات] متغیر محمولی