4.2一阶语言

一阶语言是在一阶逻辑符号化的基础上衍生出的语言逻辑

在一阶语言中出现的符号有：

非逻辑符号

个体常项符号：a，b，c

函数符号：f，g，h

谓词符号：F，G，M

逻辑符号

个体变项符号：x，y，z

量词符号：全称量词，存在量词

联结词符号：非，合取，析取

括号与逗号

项的定义

项：项指的是个体常项或者个体变项，或者将个体常项或个体变项加入到函数中，那么该函数也称为项

原子公式的定义

原子公式指的是将项带入n元谓词中所组成，则称其为原子公式。

其中为什么称它为原子公式？原子公式的本质是n元谓词，我们将项带入n元谓词最后生成原子公式。原子公式在一阶语言中是作为一种最小项存在，也可以说是后面使用F（X1，X2....Xn）的方式去表示一个n元谓词，由此来将n元谓词内部的细节进行忽略。

合取公式的定义

1、原子公式就是合取公式

2、任何由联结词合原子公式组成的也称为合取公式

3、全称量词与原子公式的组合也是合取公式

合取公式也称谓词公式或公式

在由量词和普通的合取公式组成的合取公式中，量词的作用范围称为辖域，其中量词中定义的个体域中的元素称为指导变元，量词中定义的个体域中的元素在式子中出现的话，称为约束出现，其他不在该量词中定义的个体域中的元素集合内，且在式子中出现的话，称为自由出现