云南大学-代飞《软件过程》Hoare逻辑-基本概念.pptVIP

* Hoare逻辑-基本概念 代飞 博士 2013 ·秋 软 件 学 院 例 “苏格拉底三段论” 人都是要死的.(p) 苏格拉底是人.(q) 所以苏格拉底是要死的.(r) 在命题逻辑中，推理的形式结构： （pù q）? r (不是重言式) 原因：命题逻辑中，p、q、r之间的内在联系没有反映出来. 方法：反映p、q、r内在联系，对简单命题进一步分析. 其原因是P，Q，R这样的表示太粗略，没有把它们的内在联系反映出来。 要反映这种内在联系，就要对简单命题做进一步的分析，分析出其中的个体词、谓词、量词等，研究它们的形式结构及逻辑关系，总结出正确的推理形式和规则 -----这就是一阶逻辑所研究的内容 一阶逻辑也称谓词逻辑 一阶逻辑基本概念 个体词 谓词 量词 个体词及相关概念 个体词一般是充当陈述句主语的名词或代词 说明 个体词：指所研究对象中可以独立存在的具体或抽象的客体。 举例 命题：电子计算机是科学技术的工具。个体词：电子计算机。 命题：他是三好学生。个体词：他。 个体常项：表示具体或特定的客体的个体词，用小