Предика́т (від лат.
Однак предикати мають багато різних інтерпретацій і способів використання у математиці та логіці, і їхнє точне означення різниться від теорії до теорії. Наприклад, якщо в якійсь теорії вводять поняття відношення, тоді предикат є просто характеристичною або індикативною функцією на відношенні. Однак не в усіх теоріях означують поняття відношення, на відміну від заснованих на теорії множин, і тому слід бути уважними з правильним означенням і семантичною інтерпретацією предиката.
Прикладами предикатів будуть вирази (x > 2), (x+3) = y, (x > 3 та y < x). При заміщенні x на 2 та y на 5 другий із предикатів визначає істинне висловлення, а інші два — хибні.
Предикат (n-арний чи n-місний) — це функція з областю значень , визначена на n-ому декартовому степені множини M. Отож він характеризує кожну n-ку елементів M як «істинну» чи як «хибну».
Предикат можливо зв'язати з математичним відношенням: якщо n-ка належить відношенню, то предикат на ній набуватиме значення 1.
Предикат — один з елементів логіки першого і вищих порядків[en]. Починаючи з логіки другого порядку, у формулах можна ставити квантори по предикатах.
Предикат називають тотожно-істинним і пишуть:
якщо він за будь-яких значень аргументів набуває значення 1.
Предикат називають тотожно-хибним і пишуть:
якщо він за будь-яких значень аргументів набуває значення 0.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
This article uses material from the Wikipedia Українська article Предикат, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Вміст доступний на умовах CC BY-SA 4.0, якщо не вказано інше. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Українська (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.