第33讲 第4章小结.ppt

离散数学 第33讲 第4章复习小结 1、个体、谓词、量词和函词 对原子命题内部结构及其逻辑关系进行讨论就是谓词逻辑, 这些讨论涉及集合、映射、运算和关系. 命题的考虑对象称为个体, 个体所在的范围称为个体域. 2、谓词公式及命题的符号化 使用谓词将命题符号化得到的含义正确的表达式就是谓词公式. 要求能熟练在谓词逻辑中将命题符号化, 具体步骤: 第1步 首先找出所给命题中的所有个体常量, 并用a, b, c等表示. 3、谓词公式的解释及类型 了解谓词公式的解释I: (1)指定个体域D. (2) 谓词公式中的命题变元指派其真值. (3) 个体常量及其自由变元 (4) 函词解释为D上的函数. (5) 谓词解释为D上的谓词. 4、逻辑等值的谓词公式 设A和B是谓词公式, A = B是指A和B在任何解释下的取值都相同. 记住10个基本谓词公式等值式, 特别是下面两个较难记住的等值式: (1) ?x(A(x) ? B(x)) = ?xA(x) ? ?xB(x). (2) ?x(A(x) ? B(x)) = ?xA(x) ? ?xB(x). 5、谓词公式的前束范式 设A是谓词公式, 若 A = Q1x1Q2x2…QnxnB, 其中Qi为?或?, B中不含量词, 则称Q1x1Q2x2…QnxnB为A的前束范式. 6、谓词逻辑中的推理 要求能对较简单的谓词逻辑中推理有效性进行构造性证明. 重要的两个谓词逻辑蕴涵式: (1) ?xA(x) ? ?xB(x) ? ?x(A(x) ? B(x)). (2) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x). Any Problems IV. EG(Existential quantifier Generalization)规则: 存在量词产生规则 (1) A(c) (其中c为个体域中某个体) (2) ?xA(x) * * 表示个体性质以及个体之间关系的词称为谓词. 对于n元谓词P, P(x1, x2, …, xn)是命题函数. 常用的量词有：全称量词和存在量词. 全称量词?相当于“任意”、“全部”、“所有”、“每一个”、“一切”等. 存在量词?相当于“有些”、“某些”、“有的”、“存在”、“至少有一个”等. 量词?x或?x的作用或管辖的范围称为?x或?x的作用域或辖域. 辖域内的个体变元称为约束变元. 不受任何量词约束的变元称为自由变元. 表示个体之间的函数关系就是函词. 重点掌握量词的辖域, 能区分约束变元和自由变元. 例1 在谓词公式 ?x(P(x) ? ?yR(y)) ? Q(x) 中, 量词?x的辖域为( ), P(x)中x是( ), Q(x)中的x是( ). 例2 在谓词公式 ?xF(x, y) → ?yG(x, y) 中个体变元x是( ) (A) 自由变元 (B) 约束变元 (C) 既是自由变元, 又是约束变元 (D) 既不是自由变元, 又不是约束变元. 例3 (判断题) 1. 在谓词公式 ?x?yP(x, y) ? Q(x, z) ? ?xP(x, y) 中?x的辖域为P(x, y). (×) 2. 在谓词公式 ?x(P(x, y) ? Q(x, z)) ? ?zR(x, z) 中y是自由变元. (√) 第2步 确定在给定个体域中应该选用的所有谓词, 特别注意特性谓词的选取; 再其次是确定量词. 第3步 确定函词. 第4步 通过找出联结词, 将所给命题符号化. 例4 (填空题) 令G(x): x是金子, F(x): x是闪光的, 则命题“金子都是闪光的, 但闪光的未必是金子”符号化为( ). ?x((G(x) ? F(x)) ? ?x(F(x) ? ?G(x)) 例5 (选择题) 1. 令T(x): x是火车, B(x): x是汽车, F(x, y): x比y快, 则“某些汽车比所有的火车慢”符号化为( ). (A) ?y(B(y) ? ?x(T(x) ? F(x, y))) (B) ?y(B(y) ? ?x(T(x) ? F(x, y))) (C) ?x?y(B(y) ? (T(x) ? F(x, y))) (D) ?y(B(y) ? ?x(T(x) ? F(x, y))) 2. 令A(x): x是人, B(x): x犯错误, 则“没有不犯错误的人