Functional predicate
id:
functional-predicate-286-13021563
title:
Functional predicate
text:
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 additional meanings in mathematics.
In a model, a function symbol will be modelled by a function. Specifically, the symbol F in a formal language is a functional symbol if, given any symbol X representing an object in the language, F(X)
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Functional_predicate
date created:
date modified:
2021-12-29T21:30:04Z
main entity:
{"identifier":"Q5508846","url":"https://www.wikidata.org/entity/Q5508846"}
image:
fields total:
13
integrity:
13