命题间的真假关系。任意两个命题之间的真值关系，不外乎以下七种：⑴等值关系。A与B是等值的，当且仅当，A与B同真同假。⑵矛盾关系。A与B是矛盾的，当且仅当，A与B不可同真、不可同假。⑶反对关系。A与B是反对的，当且仅当，A与B可同假、不可同真。⑷下反对关系。A与B是下反对的，当且仅当，A与B可同真、不可同假。⑸蕴涵关系。A蕴涵B，当且仅当，A真B必真。⑹反蕴涵关系。A反蕴涵B，当且仅当，A假B必假。⑺独立关系。A与B是独立的，当且仅当，A真B不必真，A假B不必假，反之亦然。设有命题：⑴pvp；⑵qq；⑶p；⑷p；⑸pq；⑹pvq。由下列真值表可知：1与4等值，1与3矛盾，3与5反对，3与6下反对，5蕴涵6，6反蕴涵5，1与2独立。
媒介语(语言)：也叫“中介语”。指人们设想的在全球统一的多对多机器翻译系统中起中介作用的语言。各民族采用统一的机器翻译媒介语时，源语分析和目的语生成都只与媒介语打交道，即把源语分析转换为媒介语，再把媒介语转换生..
真值函项(语言)：也叫”真值函数”。定义域和值域都为真值的函项。如果一个变元的任意一个允许值，另一变元总有一个确定的值与之对应，那么后者(称为应变元)就是前者(称为自变元)的函数。真值函项的个数由真值函项中所含的..
公理系统(语言)：指从一些初始概念和公理出发，根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求，包括系统的一致性(无矛盾性)、完全性和范畴性，以及公理的独立性。公理系统一般可区分为古典公理系统..
以语义为主的机器翻译系统(语言)：第三代机器翻译系统。产生于本世纪七十年代以后，目前正处于探索阶段。其特点是：⑴引入语义平面，以语义转换为中心。如采用*优选语义学来分析语言，源语分析和目的语转换都不必经过形态分析..
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..