Content deleted Content added
m Disambiguating links to Subtype (link changed to Subtyping) using DisamAssist. |
m Dating maintenance tags: {{Cn}} |
||
| (3 intermediate revisions by 3 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]].
Line 69 ⟶ 70:
*[[Logical constant]]
{{Mathematical logic}}
{{DEFAULTSORT:Functional Predicate}}
[[Category:Model theory]]
| |||