数理逻辑：证明论初步（3）初始真公式

数理逻辑：

6.03 初始真公式

      我们要引入一个今后非常重要的概念，这就是正则公式的概念。但是我们首先必须给出某些初始的定义。

      定义：不包含量词的公式称为初始公式。

      我们现在来考虑出现在初始公式中的所有初级个别命题与谓词。每一个这样的命题具有

y1=y2，或  y1<y2

的形式，其中y1、y2是一些常量。而每一个初级个别谓词也有类似形式，不过其中y1、y2是项，它们

（待续）

 

 

《 A是一个逻辑积