Логика предикатов расчленяет элементарное высказывание на субъект (буквально – подлежащее, хотя оно может играть и роль дополнения) и предикат (буквально – сказуемое, хотя оно может играть и роль определения). Субъект – это то, о чем что-то утверждается в высказывании;

Кемъ высказано ?

Утверждение , высказанное о субъекте

О субъекте чего ?

Субъектом высказывания называется то о чем делается утверждение

А объектомъ ?

Величина.

сущностей ). интенсионал смысловое понятие. предикат то, что утверждается в высказывании относительно рассматриваемого объекта;

Множество всех допустимых значений переменной, при подстановке которых в предикат Р(х) получается истинное или ложное высказывание, называют областью определения предиката.