一阶逻辑基本概念

个体词

个体词分为两种：

个体常项：个体常项指的是某个已经给出的具体客体，比如小明，小王

个体变项：个体变项指的是某个不确定的客体，比如变量X

全总个体域：指的是所有个体的集合

个体域：指的是某个体的可能范围，变量X，假设它有人为的设置取值范围，那么它的取值范围就是它的个体域

谓词

一个陈述句都可以被拆分成两个部分，一个是个体，另一个就是谓词，个体就是句子中的执行者，主导者，谓词就是描述该主体的性质，或者多个主体之间的关系。谓词可以具体的描述个体，也可以模糊的描述个体。谓词对个体的具体描述称为谓词常项，谓词对个体的模糊描述称其为谓词变项。

n元谓词

我们知道谓词可以描述x个个体的性质或者关系，那么当一个陈述句中存在x个个体常项那么就称其为x元谓词.比如小王今年15岁，该句子中只有一个个体常项小王，没有任何的个体变项，所以该陈述句是0元谓词。

我们通常使用P、Q、R....S..这样的大写字母对谓词进行表示，比如一个陈述句具有两个个体常项，那么我们通常使用P（a，b）进行表示，如果是一个陈述句中有三个个体变项，那么我们通常使用P（x，y，z）对其进行表示。