Предикаты

2) Предикаты


Предикаты - предложения, содержащие переменную (-ые), которое при подстановке вместо переменных их значений, превращается в высказывание.


Обозначается большими латинскими буквами, а дальше идут переменные. В зависимости от количества этих переменных, предикаты бывают: одноместными, двуместными, n местными.


A (x); B (x ;y); C (x1 ; ... ; xn)


Множество всех значений переменной, при которых данный предикат принимает значение - И, называется Множеством истинности данного предиката. (Обозначается: МА(х) )


Если это множество не пусто, то предикат называется ВЫПОЛНИМЫМ, если - пусто, то НЕВЫПОЛНИМЫМ.


Если данный предикат при любом наборе значений переменных принимает истинное значение, то он называется ТОЖДЕСТВЕННО ИСТИННЫМ или ТОЖДЕСТВОМ, а если - Л, то ТОЖДЕСТВЕННО ЛОЖНЫМ.


Примеры предикатов:

• Одноместных - уравнения и неравенства с одной переменной.
• Двуместных - системы уравнений с двумя переменными.