真值函項

真值函項( truth function) 亦稱“真值函式”，定義域和值域都為真值的函項。如果對於一個變元的任意一個允許值，另一變元總有一個確定的值之對應，那么後者(叫做“應變元”)就是前者(叫做“自變元”)的函項。任何真值形式都表示一個真值函項，真值形式是真值函項的表現形式。因此，也可把真值形式看成是真值的項，但兩者並不相等，因為一個真值函項可以由多個真值形式表示。

真值函項的個數由真值函項中所含的不同命題變元的個數確定。給定了不同的命題變元數目，真值函項的個數也就確定了。n個命題變元可能有的真假情況是2ⁿ個。對於每一個真假情況，又都可有兩種斷定：肯定和否定。因此，對於2ⁿ種情況。