back Смотреть все термины back Информатика Информатика

Предикат (алгебра логики)

Предикат — это утверждение, содержащее одну или несколько переменных.

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

Домашняя школа InternetUrok.ru ул. Барышиха, 23, Москва, 125368 8 (800) 775 4121
Лого sitehere.ru