谓词逻辑

1谓词逻辑语法 谓词逻辑是对命题逻辑的扩充，在其基础上引入了个体词、谓词、量词及函数符号。其中，个体词表示研究对象中可以独立存在的具体或抽象个体，个体的取值范围称为个体域或论域；谓词用来刻画个体的行为属性或个体间的相互关系；量词表示个体的数量属性；数符号的引入则为命题的符号化带来方便。为了建立严格的谓词逻辑演算系统，必须要有严格的形式化语言作为支撑，因此本小节首先给出谓词逻辑形式语言的定义。 定义

>>阅读原文<<