predicates

Функция, имеющая своими аргументами высказывания и возвращающая логическое значение («истина» или «ложь»). Предикат – предложение, похожее на высказывание, но им не являющееся, так как в нем находится переменная. Предикат становится высказыванием, если вместо переменной подставляется конкретное значение

O‘zining mulohaza argumentlariga ega bo‘lgan va («chin» yoki «yolg‘on») mantiqiy qiymatni qaytaradigan funksiya. Predikat – mulohazaga o‘xshash, lekin o‘zgaruvchi bo‘lganligi uchun mulohaza hisob-lanmaydigan gapdir. Predikat mulohaza bo‘ladi, agar o‘zgaruvchi o‘rniga aniq bir qiymat qo‘yilsa.

Ўзининг мулоҳаза аргументларига эга бўлган ва («чин» ёки «ёлғон») мантиқий қийматни қайтарадиган функция. Предикат – мулоҳазага ўхшаш, лекин ўзгарувчи бўлганлиги учун мулоҳаза ҳи-собланмайдиган гапдир. Предикат мулоҳаза бўлади, агар ўзгарувчи ўрнига аниқ бир қиймат қўйилса.