第2章 重庆大学谓词逻辑.pptVIP

第2章　谓词逻辑 §2.5 谓词逻辑的推理理论 2　UG（全称量词引入规则） A (y) ? ?x A (x) 其中， y为个体域中任意一个个体，且y取任何值时A均为真；x不在A (y)中约束出现。 3　EI（存在量词消去规则） ? x A (x) ? A (c) 其中， c为个体域中某个确定的个体常项，且使A为真；c不曾在A (x)中出现过； A (x)中没有自由变项。 §2.5 谓词逻辑的推理理论 4　EG（存在量词引入规则） A (c) ? ? x A (x) 其中， c为个体域中某个个体常项；x不在A (c)中出现。 例　证明苏格拉底三段论：凡人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 解　命题符号化： 　　M (x)：x是人。 F (x)：x是要死的。 a：苏格拉底。 　　前提：?x ( M (x) →F (x) )，M (a)；结论：F (a) 　　 　　证明：① ?x ( M (x) →F (x) ) 前提引入 　　　　　② M (a) →F (a) ①UI 　　③ M (a) 前提引入 　　④ F (a) ②③假言推理 §2.5 谓词逻辑的推理理论 例　构造并证明下面的推理： 　　参加比赛者都是计算机系的学生并且是高级程序员。有些参赛者是女生。所以有的参赛者是女高级程序员。 解　命题符号化： 　　M (x)：x是参赛