在逻辑中，真值函数是从语言的句子生成的函数。它采用来自 {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