##  [Predicate Symbol](/predicate-symbol-0) 

 Definition

A nonlogical symbol in a formal language that denotes an n-ary relation on the domain and is used to form atomic formulas.

 

 

 

 

 

 





## Principle

Principle

Predicate symbols specify properties or relations among terms; applying an n-ary predicate to n terms yields an atomic formula whose truth is evaluated in an interpretation by the corresponding relation on the domain.

 

 

 

 

 





## Demonstration

Demonstration

If R is a binary predicate symbol and a, b are terms, R(a,b) is an atomic formula asserting that the ordered pair (interp(a), interp(b)) belongs to the interpretation of R in a given model.

 

 

 

 

## Misapplication

Misapplication

Treating predicate symbols as function symbols—e.g., trying to substitute a term for R in R(x) as if R produced a term—misrepresents syntactic types and leads to category errors in formation rules.

 

 

 

 

 





## Consequence

Consequence

Correct use of predicate symbols allows formation of well-typed atomic sentences and composition into complex formulas with logical connectives and quantifiers, enabling model-theoretic truth evaluation.

 

 

 

 

## Reversal

Reversal

If predicates were treated as boolean-valued constants rather than relations, they would lose their arity and capacity to relate multiple terms, collapsing relational structure into propositional atoms.

 

 

 

 

 





## Boundary

Boundary

Does not include logical predicate-like operators (equality may be logical or nonlogical depending on the language) and excludes metavariables; arity and symbol identity are part of the language signature.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension arises between thinking of a predicate as a syntactic symbol versus as the semantic relation it denotes; in proofs one manipulates symbols, while in models one speaks of sets or relations, and conflating them can cause confusion.

 

 

 

 

 





## Synthesis

Synthesis

A predicate symbol is a signature element that, when applied to an appropriate number of terms, forms an atomic formula expressing that the corresponding relation holds of the interpreted term values.