Functional predicate

Home / Glossary / Functional predicate

A functional predicate is a predicate that has at least one argument place with the following property: given any sequence of legal arguments placed in such a predicate’s other argument positions, there is at most one argument such that, when it is placed in the predicate’s functional position, the resulting formula is true.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA