12,080
edits
Changes
Boolean-valued function (view source)
Revision as of 13:22, 22 October 2008
, 13:22, 22 October 2008add [examples]
In [[semantics|formal semantic]] theories of [[truth]], a '''truth predicate''' is a predicate on the [[sentence]]s of a [[formal language]], interpreted for logic, that formalizes the intuitive concept that is normally expressed by saying that a sentence is true. A truth predicate may have additional domains beyond the formal language domain, if that is what is required to determine a final truth value.
In [[semantics|formal semantic]] theories of [[truth]], a '''truth predicate''' is a predicate on the [[sentence]]s of a [[formal language]], interpreted for logic, that formalizes the intuitive concept that is normally expressed by saying that a sentence is true. A truth predicate may have additional domains beyond the formal language domain, if that is what is required to determine a final truth value.
==Examples==
A '''binary sequence''' is a boolean-valued function <math>f : \mathbb{N}^+ \to \mathbb{B}</math>, where <math>\mathbb{N}^+ = \{ 1, 2, 3, \ldots \},</math>. In other words, <math>f\!</math> is an infinite [[sequence]] of 0's and 1's.
A '''binary sequence''' of '''length''' <math>k\!</math> is a boolean-valued function <math>f : [k] \to \mathbb{B}</math>, where <math>[k] = \{ 1, 2, \ldots k \}.</math>
==References==
==References==