Functional predicate: Difference between revisions

Revision as of 15:49, 22 March 2004

Revision as of 22:48, 1 June 2004

Line 1:

[[Category:Model 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.

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