Предикат

Предикат

Предложение с переменными, которое при замене этих переменных на определённые значения превращается в высказывание, называется предикатом.

Примеры

Предикат $P(x)=x>-1$
$x=1$ – ложное высказывание
$x=2$ – истинное высказывание

Предикат $P(x)=x^2+1>0$
Принимает истинное значение при любых значениях переменной.

Двуместный предикат $P(x,y)=x^2+y^2=0$
Принимает истинное значение при $x$ и $y$ равные $0$