Functional predicate: Difference between revisions

Revision as of 21:30, 29 December 2021

Latest revision as of 18:49, 14 July 2025

(2 intermediate revisions by 2 users not shown)

Line 1:

{{Short description|Symbol representing a mathematical concept}}

{{Unreferenced|date=December 2009}}

In [[formal logic]] and related branches of [[mathematics]], a '''functional predicate''',{{cn|reason=This seems to me a particularly unusual naming.|date=July 2025}} 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 [[Mapping (mathematics)|additional meanings in mathematics]].

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