简称“集”。逻辑学术语。现代逻辑把一些确定的、彼此不同的事物作为一个整体来考虑时，这个整体就叫做集合。组成一个集合的那些事物，叫做该集合的元素。如a是集合A的元素，就叫做a属于A，记为a∈A。“∈”是表示属于关系的特定符号。如b不是集合A的元素，则叫b不属于A，记为bA。集合一般有两种表示法：⑴列举法，也称外延法，是通过列举一个集合的所有元素来表示集合的方法。其一般形式为：A=｛a1，a2，…，an｝。设A是由小王、小李和小张这三个个体组成的集合，用列举法表示就是：A=｛小王，小李，小张｝。⑵特征法，也称内涵法，是通过描述一个集合的特征来表示集合的方法。其一般形式为：A=｛x｜p(x)｝。其中x为A中的任一元素，p为任一元素均有的属性。设A是由青年工人组成的集合，用特征法表示就是：A=｛x｝x是青年工人｝。
逻辑语义学(语言)：①也叫“纯语义学”。研究语言表达式与表达式意义之间关系的科学。这里的意义，既包括表达式的所指或外延，又包括表达式的涵义或内涵。它围绕着什么是表达式的意义而展开对逻辑形式系统中符号解释的研究..
合取式(语言)：用合取真值联结词“”联结两个或两个以上的命题而成的真值形式。构成合取式的支命题称为合取支或合取项，用p、q、r等表示。合取式一般记为pq，读作“p合取q”。合取式的逻辑性质取决于“合取”这一真值联结..
命题逻辑(语言)：形式逻辑较简单、较基本的组成部分。它不考虑把命题分析成个体词、谓词和量词等非命题成分的组合，只研究由命题和命题联结词构成的复合命题，特别是研究命题联结词的逻辑性质和推理规律，所以命题逻辑有时又..
量词的辖域(语言)：指量词所约束的范围。一般认为，量词后无括号时，量词后最短公式为此量词的辖域；量词后有括号时，括号内的公式为此量词的辖域。如：在表达式“(x)F(x)”中，量词的辖域是：F；在表达式“(x)(F(x)→(L(x)K(x))中”，量..
逻辑语形学(语言)：也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的，只考虑符号的形状和空间排列关系。它要解决的主题是：逻辑形式系统中的一个表..