Предикат
Предика́т (від лат. praedicare — проголошувати, заявляти, присуджувати) у сучасній логіці зазвичай означає булевозначну функцію P: X→ {0, 1}, яку називають предикатом на X. Однак предикати мають багато різних інтерпретацій і способів використання у математиці та логіці, і їхнє точне означення різниться від теорії до теорії. Наприклад, якщо в якійсь теорії вводять поняття відношення, тоді предикат є просто характеристичною або індикативною функцією на відношенні. Однак не в усіх теоріях означують поняття відношення, на відміну від заснованих на теорії множин, і тому слід бути уважними з правильним означенням і семантичною інтерпретацією предиката.
Прикладами предикатів будуть вирази (x > 2), (x+3) = y, (x > 3 та y < x). При заміщенні x на 2 та y на 5 другий із предикатів визначає істинне висловлення, а інші два — хибні.
Предикати і відношення
ред.Предикат (n-арний чи n-місний) — це функція з областю значень , визначена на n-ому декартовому степені множини M. Отож він характеризує кожну n-ку елементів M як «істинну» чи як «хибну».
Предикат можливо зв'язати з математичним відношенням: якщо n-ка належить відношенню, то предикат на ній набуватиме значення 1.
Предикат — один з елементів логіки першого і вищих порядків[en]. Починаючи з логіки другого порядку, у формулах можна ставити квантори по предикатах.
Предикат називають тотожно-істинним і пишуть:
- ,
якщо він за будь-яких значень аргументів набуває значення 1.
Предикат називають тотожно-хибним і пишуть:
- ,
якщо він за будь-яких значень аргументів набуває значення 0.
Джерела
ред.- Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973., т. 2, c. 199.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |