Functional predicate: Difference between revisions

Revision as of 15:36, 9 March 2020

Revision as of 21:16, 26 December 2020

Line 1:

{{Unreferenced|date=December 2009}}

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[[Mapping (mathematics)|additional meanings asin wellmathematics]].

In a [[model (logic)|model]], a function symbol will be modelled by a [[function (mathematics)|function]].