functional predicate

However, the process which creates the functional predicate/argument structure remains relatively intact.

Functional predicates are also sometimes called mappings, but that term has other meanings as well.

Finally, make the entire statement a material consequence of the uniqueness condition for a functional predicate above.

The abolished process is that which generates the functional predicate/argument structure for a sentence.

Additionally, one can define functional predicates after proving an appropriate theorem.

Creation of a functional predicate/argument structure.

Many treatments of predicate logic don't allow functional predicates, only relational predicates.

In first-order logic, this is a schema, since we can't quantify over expressions like F (which would be a functional predicate).

This schema states (in one form), for any functional predicate F in one variable:

In formal logic, the term is sometimes used for a functional predicate, whereas a function is a model of such a predicate in set theory.

In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.

The presence in both theories of functional predicates which are not sets makes it useful to allow the notation both for sets and for important functional predicates.

This may seem to be a problem if you wish to specify a proposition schema that applies only to functional predicates F; how do you know ahead of time whether it satisfies that condition?