Формальне визначення

• Точна семантична інтерпретація атомної формули і атомного пропозиції буде варіюватися від теорії до теорії.
• У пропозиційну логіку атомні формули називаються пропозициональными змінними. У певному сенсі це предикати з нульовими значеннями.
• У логіці першого порядку атомна формула складається з предикатного символу, що застосовується до відповідного числа членів.
• В теорії множин предикати розуміються як характерні функції або задають функції індикатора, тобто функції від заданого елемента до значення істини.
• Метод побудови видів суджень використовує предикати для їх визначення.
• У автоэпистемической логіці, яка відкидає закон виключеного третього, предикати можуть бути істинними, хибними або просто невідомими, тобто даний набір фактів може бути недостатнім для визначення істинності або хибності предиката.
• У нечіткій логіці предикатів є характерними функціями розподілу ймовірностей. Тобто строга істинна / помилкова оцінка предиката замінюється величиною, інтерпретується як ступінь правди.