唔……多数为ai整理。 
重点是对概念的厘清~我区分不出这些主语谓语:tieba_009: 
好好学习一下~传统的命题是一大坨的，谓语逻辑是深入语言的结构，进行更精细的操作。 
也就是对传统逻辑的现代化和形式化…… 
主语一般是个体常项，谓语一般表示属性，关系等等。 
逻辑符号比较好理解，但非逻辑符号有点绕……特别是函数符号部分， 
 [{9C1E4FB4-97B7-4C3B-8AE6-0A88597B8A3C}] 
[image] 
[image] 
[image] 
[image] 
对谓语逻辑的深入探究，主要是对传统命题逻辑的升级和深入： 
 [image] 
[image] 
[image] 
对函数和谓语中关系的厘清： 
 [image] 
[image] 
最后是一阶谓词逻辑和高阶谓词逻辑。 
一阶的有很多很好的性质，而高阶的牺牲了这些性质获得了更强的表达能力。 

[!tip...