也叫”真值函数”。定义域和值域都为真值的函项。如果一个变元的任意一个允许值，另一变元总有一个确定的值与之对应，那么后者(称为应变元)就是前者(称为自变元)的函数。真值函项的个数由真值函项中所含的不同命题变元的个数来确定。n个命题变元可能有的真假情况是2n个，对于每个真假情况，又都可有两种断定：肯定和否定。这样，对于2n种情况，其肯定和否定的组合就有22n个，n个命题变元的真值函项就有22n种。如当n=1时，真假情况为21=2，真值函项数目是221=4。以”1”表示真，以”0”表示假，它们是：
当n=2时，真假情况为22=4，真值函项数目是222=16，如把fi(plq)写成fi(i=1，2，……16)时，可列表如下：
任何真值形式都表示一个真值函项，真值形式是真值函项的表现形式。如当n=1，pvp是f1(p)的表现，pvp是f2(p)的表现，p是f3(p)的表现，pp是f4(p)的表现。一个真值函项可以由多个真值形式表示，如当n=2时，(p→q)与(pvq)都表示f5。
矛盾式(语言)：也叫”永假式”、”不可满足式”。常假的真值形式。不论其中变项代表什么命题，取什么值，矛盾式的真值总是假的。一个真值形式是否矛盾式，可用真值表方法判定。例如：”pp”是否矛盾式，可用下列真值表判定： 在逻..
以语义为主的机器翻译系统(语言)：第三代机器翻译系统。产生于本世纪七十年代以后，目前正处于探索阶段。其特点是：⑴引入语义平面，以语义转换为中心。如采用*优选语义学来分析语言，源语分析和目的语转换都不必经过形态分析..
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..
以句法为主的机器翻译系统(语言)：第二代机器翻译系统。产生于本世纪六十年代以后，是目前世界上广泛采用的机器翻译系统。其特点是：⑴以句法转换为中心，首先用代码化的结构标志来标记源语文句的结构，再把源语的结构标志转换..
真值联结词(语言)：指表示复合命题与支命题之间的真假关系的联结词。它是仅抽取命题之间真假关系、撇开其他联系而获得的命题逻辑联结词。数理逻辑中常用的五个基本真值联结词是：否定词(并非……)、合取词(……并且……)..