表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母a、b、c…表示。表示特定范围内任意个体的词项称个体变项或个体变元，一般用符号x、y、z…表示。带量词或处在它的量词的辖域中的个体变项称为约束个体变项，否则，称为自由个体变项。如：在“(x)(pVR(x，y))”中，x是约束个体变项，y是自由个体变项。
个体量词(语言)：名量词的一种。表示个体事物数量单位的词。为汉语特有。一般表示个体事物的名词前都要求有一个特定的量词，不能随意使用。名词和同它相配的个体量词之间有时在意义上有某种联系，如细长的物体论“枝”(一..
个体词(语言)：表示个体的词项。在逻辑中，一个论域中的元素称为个体，该论域称为个体域，个体词是表示个体的符号。如在“a大于b”中，“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元，一般用字母..
真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..
形式系统(语言)：形式化了的公理系统。它包括以下三个部分：⑴形式语言。规定一个形式语言，首先要列出各科初始符号，它们是形式语言的字母，其中一部分是初始概念，包括逻辑概念；然后再列出一组形成规则，形成规则规定怎样由初始符..