真值表(语言)

逻辑语形学(语言)：也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的，只考虑符号的形状和空间排列关系。它要解决的主题是：逻辑形式系统中的一个表..

否定式(语言)：用否定真值联结词””联结命题组成的真值形式。否定式一般记为p，读为”并非p”，其中p是被否定的命题，称为否定支。一个否定式为真，当且仅当，其否定支为假。否定真值联结词可用真值表来定义： 由真值表可知，否定..

逻辑代数(语言)：也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系，把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说，逻辑代数已发展成为格论的分..

个体词(语言)：表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母..

中介成分体系(语言)：在外汉机器翻译中用于标记相关分析的结果的一套特殊的句子成分体系。该体系主要从三个方面标记源语分析和源语目的语转换的信息：⑴标出源语的句子成分。成分的划分原则与传统语法基本一致。⑵标出源..

真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..