离散数学 习题课二：第2章 谓词逻辑.pdfVIP

习题课二 ——第2章谓词逻辑 1 习题课二：谓词逻辑（一阶逻辑） 一、主要内容与要求 1 ．主要内容 个体词、谓词、量词 谓词逻辑命题符号化 F 的合式公式、闭式 F 的解释 公式的类型：永真式、矛盾式、可满足式 主要内容 （续） 重要的等值式 ① 在有限个体域内消去量词等值式 ② 量词否定等值式 ③ 量词辖域收缩与扩张等值式 ④ 量词分配等值式 基本规则 ① 置换规则 ② 换名规则 ③ 代替规则 前束范式与公式的前束范式 自然推理系统F 2. 学习要求 （1）准确地将给定命题在F 中符号化 当指定个体域时，就使用它 当没指定个体域时，就使用全总个体域 在符号化时注意两个基本公式中量词与联结词的搭配 （2）深刻理解永真式、矛盾式、可满足式的概念及相互之间的 关系 （3）记住闭式的性质并能应用它 （4）对于给定的解释会判断公式的真值，或判定真值不确定（即 仍不是命题） 学习要求 （续） 深刻理解并记住重要等值式，并能熟练地应用 它们 熟练地使用置换规则、换名规则、代替规则 准确地求出给定公式的前束范式 正确地使用UI, UG, EG, EI 规则，特别要注意 它们之间的关系 对给定的推理，正确地构造出它的证明 二、练习题 1. 在一阶逻辑中将下面命题符号化，并讨论真值 （1）对于任意实数x ，均有 x 2 2 (x  2)(x  2) （2）存在实数x ，使得 x+7=5 (a) D =R 1 (b) D =N 2 (c) D3 为全总个体域 解（1） (a) xG(x) ， G(x) ： x 2 2 (x  2)(x  2) ，为真 (b) x(F(x)G(x)) ，其中G(x)同(a)中，F(x) ：x 是实数，为 假（会出现前件真，后件假） (c) x(F(x)G(x))，F(x), G(x)同(b)中，为真 （2） (a) xH (x)，H(x) ：x+7=5，为真 (b) x(F(x)H(x)) ，H(x)同(a)中，F(x) ：x 为实数，为假. (c) x(F(x)H(x)) ，H(x), F(x)同(b)中，为真 本例说明：不同个体域内，命题符号化形式可能不同（也可能 相同），真值可能不同（也可能相同）. 2 ．在一阶逻辑中将下列命题符号化 （1）大熊猫都可爱 （2）有人爱发脾气 （3）说所有人都爱吃面包是不对的 （4）没有不爱吃糖的人 （5）一切人都不一样高 （6）并不是所有的汽车都比火车快 解 由于没指出个体域，故用全总个体域 （1）x (F(x)G(x)) 其中，F(x): x 为大熊猫，G(x): x 可爱 （2）x(F(x)G(x)) 其中，F(x): x 是人，G(x): x 爱发脾气 （3）x (F(x)G(x)) 或 x (F(x)G(x)) 其中，F(x): x 是人，G(x):x 爱吃面包 （4）