Теорія

Предика́т (від лат. praedicare — проголошувати, заявляти, присуджувати) у сучасній логіці зазвичай означає булевозначну функцію P: X→ {0, 1}, яка називається предикатом на X. Однак, предикати мають багато різних інтерпретацій та способів використання у математиці та логіці, і їх точне визначення різниться від теорії до теорії. Наприклад, якщо в якійсь теорії вводиться поняття відношення, тоді предикат це просто характеристична або індикативна функція на відношенні. Однак, не у всіх теоріях визначається поняття відношення, на відміну від заснованих на теорії множин, і тому слід бути уважним з правильним визначенням та семантичною інтерпретацією предиката.