Предикат (алгебра логики)
Предикат — это утверждение, содержащее одну или несколько переменных.
Предикат обозначают Р(х). Например, Р(х) = «x кратно 7». При заданном значении переменной x предикат становится истинным или ложным высказыванием. Например: «63 кратно 7» — истинное высказывание; «36 кратно 7» — ложное высказывание. Предикаты часто используются для задания множества без описания всех его элементов.