阶谓词.pptVIP

E41 I16 I17 I23 I18 I19 I22 I20 I21 E40 上述结论的量词关系可用如下图表示： 本节小结： 基本内容： 谓词公式的蕴涵 谓词演算中的蕴涵式 学习要求： 深刻理解重要的蕴涵式，并能熟练地使用它们? 第五节 谓词逻辑的推理 一、同在命题逻辑中一样，谓词逻辑主要的推理规则有： ① P规则（前提引用规则） ② Ｔ规则（逻辑结果引用规则） ③ ＣＰ规则（附加前提规则） 二、量词的四条重要的推理规则 规则US的正确使用 (?x)G(x)?G(y) ① (?x)G(x)?G(c) ② ①,②成立的条件是： x是G(x)中自由出现的客体变量。 当G(x)中出现量词和变元时，需限制ｙ为不在G(x)中约束出现过的客体变元。 在②中，c为任意的不在G(x)中出现过的客体常量。 例：设实数集中，语句“不存在最大的实数”可符号化为：(?x)(?y)G(x,y)。 其中：G(x,y)：yx。 请看下述推导： (?x)(?y)G(x,y) P (?y)G(y,y) US,⑴ 错误的结论 正确地推导为： (?x)(?y)G(x,y) P (?y)G(z,y) US,⑴ 规则ES的正确使用 (?x)G(x)?G(c) ③ ③成立的条件是： x是G(x)中自由出现的个体变量。 在G(x)中，变元x