真值函数
在逻辑中,真值函数是从语言的句子生成的函数.它采用来自 {T,F} (就是真实和虚假)的真值.例如句子 A → B 生成真值函数 h(A,B),它的真值是 F,当且仅当 A 的值是 T 而 B 的值是 F.n 个变量的命题句子生成 2^{2^n} 个真值函数.比如,如果有像 A → (B → A) 这样的 2 个变量的命题则有 16 个生成的真值函数.
陈述或命题被称为是真值泛函的,如果它的真值由它的部件的真值来决定.
比如,"在2004年4月20日保罗·马丁是加拿大首相"是真的,"在2004年4月20日乔治·沃克·布什是美国总统"也是真的,所以合取:
"在2004年4月20日保罗·马丁是加拿大首相 与 乔