Predicate Symbol (First-Order Logic)

first-order-logic

Definition

Predicate Symbol (First-Order Logic)

A predicate symbol is a syntactic element of a signature $(\mathcal{F},\mathcal{P})$ that builds atomic formulas from terms. Each predicate symbol $P\in \mathcal{P}$ has a fixed arity $n\ge 0$. Given terms $t_1,\dots ,t_n$, the expression $P(t_1,\dots ,t_n)$ is an atomic formula.