真值函项

亦称“真值函数”。即一个函数本身的值与其自变元的值均为真值。在现代命题逻辑中，由于一个复合命题的真值取决于其支命题的真值，因而一个复合命题也就是其支命题的一个函项，即命题函项。设f(p, q)表示关于命题变项p、q的函项，p、q及f(p, q)均取真值，而且p、q的值完全决定f(p, q)的值，则f(p, q)是真值函项。比如，以f(p, q)表示“∨(p, q)”即“p∨q”时，则当p真q真、p真q假、p假q真时，f(p, q)真，而在p假q假时，f(p, q)为假。因此命题演算中由命题联结词组成的公式都是真值函项。