布尔值函数 布尔值函数是 f  X  B displaystyle fXto mathbb B  类型的函数这里的 X displaystyle X 是一个任意集合而 B displaystyle mathbb B  是一般性的  元素集合典型的是 B       displaystyle mathbb B leftright 而它经常在逻辑学应用中被解释为 B   f a l s e  t r u e  displaystyle mathbb B leftfalsetrueright  在形式科学数学数理逻辑统计学和它们的应用领域中布尔值函数也被称为特征函数指示函数谓词或命题在所有这些使用中它都被理解为提及一个数学对象的多样性的术语而不是相应的记号符号或语法表达式