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.
