离散数学资料.pptxVIP

著名的苏格拉底三段论:;为了在命题演算中，反映命题的内在联系，常常要将简单命题分解成个体词、谓词、量词等，并对它们的形式结构及逻辑关系加以研究，总结出正确的推理形式和规则，这就是本章一阶逻辑要研究的内容。;2020/1/30;个体词：可以独立存在的客体，既可以是抽象的概念，也可以是具体的事物。;个体常项：指具体或特定的个体的词，用小写字母a, b, c,……，表示。;;(1);元数：在谓词中所包含的个体词(变项)数。;;(1) 所有的人都是要死的;;量 词;将命题 “所有的人都是要死的”符号化 (个体域为人类集合）;;;使用量词时, 应该注意以下几点:; ?x ?y H(x，y) , 其中H(x，y) : x+y=5 量词颠倒顺序成立吗?;例2.在谓词逻辑中将下列命题符号化;符号化方法;设F(x) ：x满足x2–1=(x+1)(x – 1) ;解：要引入特性谓词： F(x) ： x是偶数;解：特性谓词M(x)：x是人;解：M(x) ： x是人, L(x，y) ： x与y一样高 ;解：F(x)：x是自然数 ，H(x，y)：y是x的先驱数;§2.2 一阶逻辑合式公式及解释;(3)若A和B是合式公式，则(A?B),(A?B)，(A?B)和(A ? B)也是 ；;指导变元及作用域;解：(?y)R(x, y)中，指导变元是y， ?的作用域为R(x, y)，其中y是约束出现，x是自由出现的。;(2) (?x) (?y) (P(x, y) ? Q(y, z)) ? (?x) R(x, y);解：(?x)Q(x, z)中x是作用变元，?的辖域为Q(x，z)，其中 x 约束出现，z自由出现；;1. 换名规则：;(1) (?x)(P(x)?(?y)R (x,y)) ；;第一步换名:(?x)(?y)(P(x,y)?Q(y,z))?(?u)R(u,y) ；;例5.求下列谓词公式的真值：;谓词合式公式的解释 (或指派);例6：给定解释I如下：;（1）?x(F(x) ∧G (x,a)) ? (F(2) ∧G (2,2)) ∧ (F(3) ∧G (3,2)) ? (0 ∧1) ∧ (1 ∧1) ? 0;永真式(逻辑有效式）：任一组解释皆使公式真值为1;§2.3 一阶逻辑等值式及前束范式;(Ⅱ) 量词否定等值式 (量词转换律);(Ⅲ) 量词作用域的扩张与收缩等值式;(Ⅳ) 量词分配等价式;(Ⅴ) 多个量词的使用;前束范式：一个合式谓词公式，它的所有量词均 非否定地出现在公式的最前面，且它们的作用域一直延伸到公式的末尾。;例7. 将合式公式((?x)P(x)?(?y)R(y))?(?x)F(x)化为前束范式：;(2) 利用双重否定定律、?? ? 摩根律及量词转换律将公式中的否定字符深入到谓词字母前(否定符紧贴)；;;例8. 求下列合式公式的前束范式;例8. 求下列合式公式的前束范式;(3) (?x)P(x)?(?x)Q(x);例8. 求下列合式公式的前束范式;前束合取范式：