Em
matemática, um
predicado é normalmente entendido como uma
função booleana P:
X→ {verdadeiro, falso}, chamada de predicado em
X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria. Então, por exemplo, quando uma teoria define o conceito de uma
relação, um predicado é simplesmente a
função característica ou a
função indicadora de uma relação. Entretanto, nem todas as teorias possuem relações, ou são fundadas na
teoria dos conjuntos, então é preciso ter cuidado com a definição e interpretação semântica corretas de um predicado.