ブール値関数
ブール値関数（ブールちかんすう、）は、述語や命題の一種の総称であり、f : X → B という形式の関数として表される。ここで、X は任意の集合であり、B はブール領域である。

ブール領域 B とは、2つの元からなる集合であり、B = {0, 1} で表される。その元は真理値を表すと解釈され、例えば 0 = false、1 = true とする。すなわち、任意の引数について真偽を判定する関数と言える。

数学、数理論理学、統計学、あるいはこれらの応用分野では、ブール値関数は特性関数、指示関数、述語、命題などと呼ばれる。これらの用途すべてにおいて、その用語が記号的あるいは統語的なものではなく、数学的なオブジェクトを指していると理解される。

真理の形式意味論においては、真理述語とは、形式言語における文の述語であり、論理的に解釈すると、その文が真であると言ったときに表現される直観的概念を形式化したものと言える。真理述語は、最終的に真理値を決定するにあたって必要であれば、形式言語領域以外の領域も対象とすることがある。
Q35148
述語
Concept
Q108163
命題
Concept
Q11348
関数
Concept
Q36161
集合
Concept
Q3269980
ブール領域
Concept
Q185521
真理値
Concept
Q395
数学
Concept
Q1166618
数理論理学
Concept
Q12483
統計学
Concept
Q822139
特性関数
Concept
Q371983
指示関数
Concept
Q35148
述語
Concept
Q108163
命題
Concept
Q963731
形式意味論
Concept
Q192161
形式言語
Concept
Q17020770
ブール値関数
Concept
Q17020770
ブール値関数
Concept
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
studies
subclass of
subclass of
subclass of
subclass of