真值函项 truth function 亦称“真值函数”。定义域和值域都为真值的函项。如果对于一个变元的任意一个允许值,另一变元总有一个确定的值与之对应,那么后者(叫做“应变元”)就是前者(叫做“自变元”)的函项。任何真值形式都表示一个真值函项,真值形式是真值函项的表现形式。因此,也可把真值形式看成是真值函项,但两者并不相等,因为一个真值函项可以由多个真值形式表示。真值函项的个数由真值函项中所含的不同命题变元的个数确定。给定了不同的命题变元数目,真值函项的个数也就确定了。n个命题变元可能有的真假情况是2n个,对于每一个真假情况,又都可有两种断定:肯定和否定。因此,对于2n种情况。肯定和否定的组合共有: =22n个 其中每一个组合是一个真值函项的内容。可见有n个命题变元的真值函项,可以共有22n种。例如,设n=1时,真假情况为21=2,真值函项数目是221=4,它们是:p | f1(p) | f2(p) | f3(p) | f4(p) | 真 假 | 真 真 | 真 假 | 假 真 | 假 假 | |
n=2时,真假情况为22=4,真值函项数目是222=16。当我们把fi(p,q)写成fi(i=1,2,…16)时,可以列表如下:p q | f1 | f2 | f3 | f4 | f5 | f6 | f7 | f8 | 真 真 | 真 | 真 | 真 | 真 | 真 | 真 | 真 | 真 | 真 假 | 真 | 真 | 真 | 真 | 假 | 假 | 假 | 假 | 假 真 | 真 | 真 | 假 | 假 | 真 | 真 | 假 | 假 | 假 假 | 真 | 假 | 真 | 假 | 真 | 假 | 真 | 假 | p q | f9 | f10 | f11 | f12 | f13 | f14 | f15 | f16 | 真 真 | 假 | 假 | 假 | 假 | 假 | 假 | 假 | 假 | 真 假 | 真 | 真 | 真 | 真 | 假 | 假 | 假 | 假 | 假 真 | 真 | 真 | 假 | 假 | 真 | 真 | 假 | 假 | 假 假 | 真 | 假 | 真 | 假 | 真 | 假 | 真 | 假 | |
|