This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Functional predicate" – news · newspapers · books · scholar · JSTOR(December 2009) (Learn how and when to remove this message)
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) is again a symbol representing an object in that language.
In typed logic, F is a functional symbol with domain type T and codomain type U if, given any symbol X representing an object of type T, F(X) is a symbol representing an object of type U.
One can similarly define function symbols of more than one variable, analogous to functions of more than one variable; a function symbol in zero variables is simply a constant symbol.
Now consider a model of the formal language, with the types T and U modelled by sets [T] and [U] and each symbol X of type T modelled by an element [X] in [T].
Then F can be modelled by the set
which is simply a function with domain [T] and codomain [U].
It is a requirement of a consistent model that [F(X)] = [F(Y)] whenever [X] = [Y].
and 18 Related for: Functional predicate information
a functionalpredicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term. Functional predicates...
predicate or predication in Wiktionary, the free dictionary. Predicate or predication may refer to: Predicate (grammar), in linguistics Predication (philosophy)...
In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not...
function and its generalizations Mapping (logic), a synonym for functionalpredicate Storytelling mapping, the use of a map to tell a story which usually...
which include features such as number and tense or functional units such as subject, predicate, or object. There are other structures which are hypothesized...
that, to be testable, for a functionality of the system under test "S", which takes input "I", a computable functionalpredicate "V" must exists such that...
constant symbols, F {\displaystyle F} the set of functional operators, and P {\displaystyle P} the set of predicate symbols. A ground term is a term that contains...
In logic, a functionally complete set of logical connectives or Boolean operators is one that can be used to express all possible truth tables by combining...
Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs"...
It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation...
except for functional derivative. Sometimes it is used in relation to types of functional equations, or in logic for systems of predicate calculus.) If...
optional predicate expression. And an output expression producing members of the output list from members of the input iterable that satisfy the predicate. The...
first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional...
prove the graph to be total functional. Which predicates are provably functional for various inputs, or even total functional on their domain, generally...
Focus, Predicate), defining the informational status of constituents, determined by the pragmatic context of the verbal interaction. In the functional mode...
build up functions—and to remove any mention of variables—particularly in predicate logic. A combinator is a higher-order function that uses only function...
FALSE is equivalent to FALSE. A predicate is a function that returns a boolean value. The most fundamental predicate is ISZERO, which returns TRUE if...
Global Information
![{\displaystyle [F]:={\big \{}([X],[F(X)]):[X]\in [\mathbf {T} ]{\big \}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4330f8ae04afd533c5bf1fbe3fc20c065056d4d)