第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是参赛者。 　　F (x)：x是计算机系的学生。 　　G (x)：x是高级程序员。 　H (x)：x是女生。 　　前提：?x (M (x) →F (x) ∧ G (x))， ?x (M (x) ∧H (x)) 　　结论：?x (M (x) ∧H (x) ∧G (x) ) 　　证明：① ?x (M (x) ∧H (x)) 前提引入 　　　　　② M (c) ∧ H (c) ①EI 　　③ ?x (M (x) →F (x) ∧ G (x)) 前提引入 　　④ M (c) →F (c) ∧ G (c) ③UI §2.5 谓词逻辑的推理理论 　　证明：⑤ M (c) ②化简 　　　　　⑥ F (c) ∧ G (c) ④⑤假言推理 　　⑦ G (c) 前提引入 ⑥化简 　　⑧ H (c) ②化简 　　　　　⑨ M (c) ∧ F (c) ∧ G (c) ⑤⑦⑧合取 　　　　　⑩ ?x (M (x) ∧H (x) ∧G (x) ) ⑨UG 注意：运用EI、UI消去公式中的量词时，一定是针对前束范式。若不是前束范式，如﹁ ?x( F (x) ∧H (x) )，应先变换为前束范式 ?x (﹁ F (x) ∨﹁ H (x) ) ，再进行推理。 作业7（B本） P52：12（1） P53：13（4）、15 全称量词：universal quantier 存在量词：existential　quantier 全称量词：universal quantier 存在量词：existential　quantier * * 表示具体的或特定的个体的词称为个体常项或个体常元，一般用小写英文字母a，b，c，…， ai，bi，ci表示。 §2.1 谓词逻辑基本概念 1 个体 个体变项的取值范围称为个体域或论域，个体域可以是有限事物的集合，如D＝{1,2,3}等，也可以是无限事物的集合，如自然数集合N等。当未指定个体域时，将宇宙间一切事物组成的客体集合作为个体域，称为全总个体域。 定义2.1：个体是指可以独立存在的客观实体。 表示抽象的或泛指的个体的词称为个体变项或个体变元，常用小写英文字母x，y，z，…， xi，yi，zi表示 §2.1 谓词逻辑基本概念 例：对于下面3个简单命题： (1)2是偶数。 (2)小王和小李是好朋友。 (3)小刘坐在小张和小赵的中间。 　其个体可以表示为： a：2 b：小王 c：小李 d：小刘 e：小张 f：小赵 §2.1 谓词逻辑基本概念 2 谓词 如上面三个命题可以表示为： F(a)：2是偶数。 G(b,c)：小王和小李是好朋友。 H(d,e,f)：小刘坐在小张和小赵的中间。 定义2.2：刻画个体具有的性质或个体之间的关系的词叫谓词。 表示具体性质或关系的谓词称为谓词常项或谓词常元，表示抽象的或泛指的谓词称为谓词变项或谓词变元，谓词常项和谓词　变项都用大写英文字母如F，G，H，…，Fi，Gi，Hi等表示。因此，要根据上下文来确定表示的是谓词常项还是变项。 §2.1 谓词逻辑基本概念 谓词中包含的个体数称为元数。含n(n≥1)个个体的谓词称为n元谓词。一元谓词常表示所含个体的性质，n(n≥2) 元谓词常表示所含个体的之间的关系。　 一般， n元谓词表示以个体变项的