谓词演算(15节)1.pptVIP

第二章.谓词演算 §1.谓词 量词 §2.合式公式 解释 可满足性 逻辑蕴涵 逻辑等价 替换定理 有效性 §3.代入 代入定理 §4.前束范式(PNF) §5.谓词演算的形式推理 §1.谓词 量词 1.谓词与个体 (1)苏格拉底(Socrates) 论断 命题逻辑的基本单位，局限性 　苏格拉底(Socrates) 论断： §1.谓词 量词 在形式逻辑里,谓词就是谓语; 在数理逻辑里,个体是关系的定义域中的元素,个体之间的联系就是关系,称为谓词。 §1.谓词 量词 ?一元谓词(unary predicate)： 　　一元谓词是描述一个个体的特征的谓词。通常称为性质 (nature,character,quaility)。 ?二元谓词(binary predicate)： 　　二元谓词是描述两个个体间的联系的谓词。通常称为(二元) 关系((binary)relation)。 ?三元谓词(binary predicate)： 　　三元谓词是描述三个个体间的联系的谓词。通常称为三元关 系(ternary relation)。