也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系，把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说，逻辑代数已发展成为格论的分支的代数理论，通称布尔代数。逻辑代数实际上是抽象的布尔代数的逻辑解释或在逻辑上的应用。因对其所作解释的不同，主要分为类代数和命题代数。类代数是类逻辑(即从外延上理解的一阶一元谓词的逻辑)的代数化。对类代数中的符号另作命题逻辑的解释，就得到命题代数。布尔代数还可以作几何或拓扑的解释。*文恩图解就是布尔代数的几何图解。除外，布尔代数述在其他领域如开关理论和计算机设计中得到解释。
赋值(语言)：也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中，通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一..
个体词(语言)：表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母..
中介成分体系(语言)：在外汉机器翻译中用于标记相关分析的结果的一套特殊的句子成分体系。该体系主要从三个方面标记源语分析和源语目的语转换的信息：⑴标出源语的句子成分。成分的划分原则与传统语法基本一致。⑵标出源..
形式系统(语言)：形式化了的公理系统。它包括以下三个部分：⑴形式语言。规定一个形式语言，首先要列出各科初始符号，它们是形式语言的字母，其中一部分是初始概念，包括逻辑概念；然后再列出一组形成规则，形成规则规定怎样由初始符..
命题间的真值关系(语言)：命题间的真假关系。任意两个命题之间的真值关系，不外乎以下七种：⑴等值关系。A与B是等值的，当且仅当，A与B同真同假。⑵矛盾关系。A与B是矛盾的，当且仅当，A与B不可同真、不可同假。⑶反对关系。A与B是..