形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研究由这些非命题成分组成的命题形式的逻辑性质和规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。将量词也用于命题变元和谓词变项的，或包含高阶量词和高阶谓词的叫高阶逻辑，又称广义谓词逻辑。谓词逻辑可分为经典的谓词逻辑和非经典的谓词逻辑。形式化的谓词逻辑称为谓词演算，一般有公理系统和自然演绎系统两种。
前束范式(语言)：一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基..
补集(语言)：集合的基本运集之一。设给定集合A，如有集合C，C=｛X：XA｝，则称C为A的补集，记为C=A′或A。显然C元素是全集中除A以外的所有元素。如全集记为I，I=｛a，b，c｝，A=｛a，b｝，则C=A′=I－A=。补集可图示如下：..
析取范式(语言)：支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为..
并集(语言)：集合的基本运算之一。设给定集合A和B，如有集合C，C=｛X：X∈A或者X∈B｝，则称C为A与B的并集，记为C=AUB。显然C元素是由A的元素和B的元素汇合而成的，它们或属于A，或属于B。如A=｛a，b｝，B=｛b，c｝，则C=AUB｛a，b，c｝。并集可图示如下： 图中画..