Definition
Predicate Symbol (First-Order Logic)
A predicate symbol is a syntactic element of a signature
that builds atomic formulas from terms. Each predicate symbol has a fixed arity . Given terms , the expression is an atomic formula.
Predicate Symbol (First-Order Logic)
A predicate symbol is a syntactic element of a signature
that builds atomic formulas from terms. Each predicate symbol has a fixed arity . Given terms , the expression is an atomic formula.