Predicate Arity

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The number of argument places of a predicate symbol, specifying how many terms the predicate takes; a k-ary predicate relates k terms and is central to the signature of a language.