离散数学课件 第2章 谓词逻辑.pptxVIP

第2章谓词逻辑 (LP)

PredicateLogic1谓词逻辑命题符号化2谓词公式3谓词逻辑的等价关系4谓词公式的标准化5谓词逻辑的蕴含关系6谓词逻辑的推理理论

2

§2-1-1命题逻辑的局限性逻辑史上著名的亚里士多德三段论,公认是有效的推理。1)所有的人都是要死的；2)苏格拉底是人；3)所以苏格拉底是要死的。但是,不能用命题逻辑的推理方法去证明如上所述三段论的正确性。P:所有的人都是要死的Q:苏格拉底是人R:苏格拉底是要死的则有P,Q?R。因为P,Q,R为不同命题,无法体现三者相互关系,说明命题逻辑是有局限性的,只能进行命题关系间的推理,无法深入语句内部,解决与命题的结构和成分相关的推理。谓词逻辑命题符号化2-13

类似的例子前提连接到大学网络上的每个电脑都是正常运行的。命题逻辑的规则无法用来确定该命题的真值。MATH3是正常运行的。MATH3是连接到大学网络上的其中一台电脑。类似地,命题逻辑的规则也无法用来确定该命题的真值。CS2遭受了入侵者的攻击。CS2是连接到大学网络上的其中一台电脑。结论有一台电脑连接到了遭受入侵者攻击的大学网络上。4

FROMLSTOLP命题逻辑的局限性不能用来证明有些正确论证的正确性不足以表达数学和自然语言中的所有命题的意义用命题逻辑符号化出的命题公式不能反映一些命题包含的共性。原因在于命题逻辑是