如果有像 A → (B → A) 这样的 2 个变量的命题则有 16 个生成的真值函数。陈述或命题被称为是真值泛函的，如果它的真值由它的部件的真值来决定。比如，“在2004年4月20日保罗·马丁是加拿大首相”是真的，“在2004年4月20日乔治·沃克·布什是美国总统”也是真的，所以合取：是真的。在这个句子中，“与”充当真值函数。相反的，在“在2004年4月20日阿尔·戈尔是美国总统”和“布兰妮·斯皮尔斯相信在2004年4月20日阿尔·戈尔是美国总统”。知道前者不是真的和后者的真值之间没有关