A boolean-valued function, in some usages is a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain. A boolean domain B is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, for example, 0 = false and 1 = true.

PropertyValue
dbpprop:abstract
  • A boolean-valued function, in some usages is a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain. A boolean domain B is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, for example, 0 = false and 1 = true. In the formal sciences, mathematics, mathematical logic, statistics, and their applied disciplines, a boolean-valued function may also be referred to as a characteristic function, indicator function, predicate, or proposition. In all of these uses it is understood that the various terms refer to a mathematical object and not the corresponding semiotic sign or syntactic expression. In formal semantic theories of truth, a truth predicate is a predicate on the sentences 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.
  • ブール値関数（英: Boolean-valued function）とは、述語や命題の一種の総称であり、f : X → B という形式の関数として表される。ここで、X は任意の集合であり、B はブール領域である。 ブール領域 B とは、2つの元からなる集合であり、B = {0, 1} で表される。その元は真理値を表すと解釈され、例えば 0 = false、1 = true とする。すなわち、任意の引数について真偽を判定する関数と言える。 数学、数理論理学、統計学、あるいはこれらの応用分野では、ブール値関数は特性関数、指示関数、述語、命題などと呼ばれる。これらの用途すべてにおいて、その用語が記号的あるいは統語的なものではなく、数学的なオブジェクトを指していると理解される。 真理の形式意味論においては、真理述語とは、形式言語における文の述語であり、論理的に解釈すると、その文が真であると言ったときに表現される直観的概念を形式化したものと言える。真理述語は、最終的に真理値を決定するにあたって必要であれば、形式言語領域以外の領域も対象とすることがある。
  • Funkcją boolowską nazywamy dowolne odwzorowanie <math>f: X \to Y, gdzie B = {0, 1}, X jest podzbiorem B, zaś Y jest podzbiorem B. Jeżeli funkcja boolowska jest określona dla każdego elementu zbioru B (czyli X = B), to nazywamy ją funkcją zupełną. Analogicznie, jeśli X jest właściwym podzbiorem B, to funkcja jest nazywana niezupełną lub też nie w pełni określoną. Liczba wszystkich n-argumentowych funkcji zupełnych jest równa: <math>2^{2^{n}}. Funkcja boolowska jest matematycznym modelem układu kombinacyjnego. Układy tego typu są używane do budowy między innymi multiplekserów, mikroprocesorów, do sterowania na przykład wyświetlaczami LED i w wielu innych urządzeniach elektronicznych.
  • Uma função booleana (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo <math>f: X \to B</math>, onde <math>\,\!X</math> é um conjunto arbitrário e <math>\,\!B</math> é um domínio booleano. Um domínio booleano <math>\,\!B</math> é um conjunto genérico de 2 elementos, por exemplo, <math>\,\! B = \{0, 1\}</math>, cujos elementos sejam interpretados como valores lógicos, por exemplo, <math>\,\!0 = falso</math> e <math>\,\!1 = verdadeiro</math>. Nas ciências formais, matemática, lógica matemática, estatística, e suas disciplinas aplicadas, uma função booleana pode também ser referenciada como uma função característica, função indicadora, predicado ou proposição. Em todos esses casos compreende-se que os vários termos se referem a um objeto matemático e não ao correspondente sinal ou expressão sintática. Em teorias de verdades formais, um predicado de verdade é um predicado sobre as sentenças de uma linguagem formal, que formaliza o conceito intuitivo que é uma expressão normalmente quando dizemos que uma sentença é verdadeira. Um predicado de verdade pode ter muitos domínios adicionais além do domínio da linguagem formal, se tal for necessário para determinar um valor de verdade final. Álgebra booleana Cálculo proposicional Domínio booleano Lógica booleana Lógica de ordem zero Problema de satisfatibilidade booleana Tabela verdade
  • 布尔值函数是 <math> f : X \to \mathbb{B} </math> 类型的函数，这里的 <math> X </math> 是一个任意集合，而 <math> \mathbb{B} </math> 是一般性的 2 元素集合，典型的是 <math> \mathbb{B} = \left \{ 0, 1 \right \}</math>，而它经常在逻辑学应用中被解释为 <math> \mathbb{B} = \left \{ false, true \right \}</math>。 在形式科学、数学、数理逻辑、统计学和它们的应用领域中，布尔值函数也被称为特征函数、指示函数、谓词或命题。在所有这些使用中，它都被理解为提及一个数学对象的多样性的术语，而不是相应的记号(semiotic)符号或语法表达式。
dbpprop:hasPhotoCollection
rdfs:comment
  • A boolean-valued function, in some usages is a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain. A boolean domain B is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, for example, 0 = false and 1 = true.
  • Funkcją boolowską nazywamy dowolne odwzorowanie <math>f: X \to Y, gdzie B = {0, 1}, X jest podzbiorem B, zaś Y jest podzbiorem B. Jeżeli funkcja boolowska jest określona dla każdego elementu zbioru B (czyli X = B), to nazywamy ją funkcją zupełną. Analogicznie, jeśli X jest właściwym podzbiorem B, to funkcja jest nazywana niezupełną lub też nie w pełni określoną. Liczba wszystkich n-argumentowych funkcji zupełnych jest równa: <math>2^{2^{n}}.
  • Uma função booleana (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo <math>f: X \to B</math>, onde <math>\,\!X</math> é um conjunto arbitrário e <math>\,\!B</math> é um domínio booleano.
rdfs:label
  • Boolean-valued function
  • ブール値関数
  • Funkcja boolowska
  • Função booleana
  • 布尔值函数
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of