表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母a、b、c…表示。表示特定范围内任意个体的词项称个体变项或个体变元，一般用符号x、y、z…表示。带量词或处在它的量词的辖域中的个体变项称为约束个体变项，否则，称为自由个体变项。如：在“(x)(pVR(x，y))”中，x是约束个体变项，y是自由个体变项。
中介成分体系(语言)：在外汉机器翻译中用于标记相关分析的结果的一套特殊的句子成分体系。该体系主要从三个方面标记源语分析和源语目的语转换的信息：⑴标出源语的句子成分。成分的划分原则与传统语法基本一致。⑵标出源..
真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..
形式系统(语言)：形式化了的公理系统。它包括以下三个部分：⑴形式语言。规定一个形式语言，首先要列出各科初始符号，它们是形式语言的字母，其中一部分是初始概念，包括逻辑概念；然后再列出一组形成规则，形成规则规定怎样由初始符..
媒介语(语言)：也叫“中介语”。指人们设想的在全球统一的多对多机器翻译系统中起中介作用的语言。各民族采用统一的机器翻译媒介语时，源语分析和目的语生成都只与媒介语打交道，即把源语分析转换为媒介语，再把媒介语转换生..
真值函项(语言)：也叫”真值函数”。定义域和值域都为真值的函项。如果一个变元的任意一个允许值，另一变元总有一个确定的值与之对应，那么后者(称为应变元)就是前者(称为自变元)的函数。真值函项的个数由真值函项中所含的..