年4月20日阿尔·戈尔是美国总统”。知道前者不是真的和后者的真值之间没有关系：布兰妮·斯皮尔斯相信阿尔·戈尔是总统这个命题的真值，不是由阿尔·戈尔在那天"不是"总统的事实来决定的。 所以，词语“相信”不是真值函数。用更加数学化的术语，真值函数是一种布尔函数，并使用布尔变量来持有真值函数的结果是计算机科学的普遍实践。确定句子的真值是逻辑和数学二者的基本活动；作为结果，真值函数在与逻辑和数学基础有关的着作中经常讨论。简单真值函数如 AND、NOT 等可以用真值表确定。更复杂的真值函数可能需要重要的计算。