布尔值函数

A类布尔值函数是一个功能类型的 ${\显示样式f:X\to\mathbb{B}，}$ 哪里 ${\显示样式X}$ 是任意集，其中 ${\显示样式\mathbb{B}}$ 是一个布尔域.

在形式科学（数学、数学逻辑、统计学）及其应用学科中，布尔值函数也可以被称为特征函数、指示函数、谓词或命题。在所有这些用法中，可以理解为各种术语指的是数学对象，而不是相应的符号或句法表达式。

在形式语义真理理论中真值谓词是形式语言句子上的谓词，用于逻辑解释，它形式化了通常通过说句子为真来表达的直观概念。如果要确定最终的真值，真值谓词可能会有形式语言域之外的其他域。

示例

A类二进制序列是布尔值函数 ${\显示样式f:\mathbb{N}^{+}\to\mathbb{B}}$ ，其中 $｛\displaystyle\mathbb｛N｝^｛+｝=\｛1,2,3，\ldots\｝，｝$ 换句话说， ${\显示样式f}$ 是0和1的无限序列。

A类二进制序列属于长度 ${\显示样式k}$ 是布尔值函数 $｛\displaystylef:[k]\to\mathbb｛B｝｝$ ，其中 ${\显示样式[k]=\{1,2，\ldots k\}.}$

Brown，Frank Markham（2003），布尔推理：布尔方程的逻辑第1版，Kluwer学术出版社，马萨诸塞州诺维尔。第2版，多佛出版社，纽约州米诺拉，2003年。

Marvin L.Minsky和Seymour A.Papert（1988），Perceptrons，计算几何导论麻省理工学院出版社，马萨诸塞州剑桥，1969年。1972年修订。扩充版，1988年。