离散数学4(精品·公开课件).ppt

存在量词与全称量词 (1).存在量词：记作?，表示“有些”、“有一个”、“某些”、“至少一个”等。 ?xF(x):表示存在着客体域中的客体具有性质F。 当且仅当论域中至少有一个x0使得F(x0)为T时， ?xF(x)为真。 (2).全称量词：记作?，表示“每个”、“任何一个”、“一切”、“所有的”、“凡是”、“任意的”等。 ?xF(x):表示客体域里所有的客体都有性质F。 当且仅当对论域中所有的x来说，F(x)均为T时，?xF(x)为真。 2-2.6 命题的符号化 在谓词演算中，命题的符号化比较复杂，命题的符号表达式与论域有关系。例如 1.每个自然数都是整数。 (1).如果论域是自然数集合N，令 I(x)：x是整数，则命题的表达式为 ?xI(x) (2).如果论域扩大为全总个体域时，上述表达式?xI(x)表示“所有客体都是整数”，显然这是假的命题，此表达式已经不能表达原命题了。因此需要添加谓词N(x)：x是自然数，用于表明x的特性，于是命题的符号表达式为 ?x(N(x)→I(x)) 2.有些大学生吸烟。 (1).如果论域是大学生集合S，令A(x)：x吸烟，则命题的表达式为 ?xA(x) (2).如果论域扩大为全总个体域时，上述表达式?xA(x)表示“有些客体吸烟”，就不是表示此命题了，故需要添加谓词 S(x)：x是大学生，用于表明x的特性，于是命题的表达式为 ?x(S(x)∧A(x)) 从上述两个例子可以看出，命题的符号表达式与论域有关。当论域扩大时，需要添加用来表示客体特性的谓词，称此谓词为特性谓词。特性谓词往往就是给定命题中量词后边的那个名词。如上面两个例子中的“所有自然数”、“有些大学生”。 如何添加特性谓词，这是个十分重要的问题，这与前边的量词有关。 特性谓词的添加方法如下： 如果前边是全称量词，特性谓词后边是蕴含联结词“→”；如果前边是存在量词，特性谓词后边是合取联结词“∧”。 结论： 对一个给定命题符号化的程度是无止境的，但是符号化的程度越深，所得结果越复杂，所以，并不是符号化的程度越深就越好，而是在能满足推理需求的前提下，越简单越好。 小结 1.命题的符号表达式形式与论域有关系。 论域扩大需要用特性谓词对客体进行说明.注意如何添加特性谓词(即要注意特性谓词后边是什么联结词)。 2.如果量词前有否定符号，如“没有...”“不是所有的...”等，可以按照字面直译。如“??x…” “??x...” 3.命题的符号表达式中所有客体变元必须都是约束变元，才表示命题。有时给定命题中有些量词没有明确给出，要仔细分析并写出这隐含的量词。 例如 a) 金子闪光，但闪光的不一定都是金子。G(x),F(x) ?x(G(x)→F(x))∧??x(F(x) →G(x)) b) 没有大学生不懂外语。S(x),K(x,y),F(x) ??x(S(x)∧?y(F(y)→?K(x,y))) 有限域下公式 (?x)P(x)、(?x)P(x)的表示法 设论域为{a1，a2，?，an}，则有 (?x)P(x)= P(a1)?P(a2 )???P(an) (?x)P(x) = P(a1)?P(a2 )???P(an) 在域{a1，a2}上多次量化公式 (?x)(?y)F(x,y)?(?x)((?y)F(x,y)) ?(?y)F(a1,y)∧(?y)F(a2,y) ?F(a1, a1)∧F(a1, a2)∧F(a2, a1)∧F(a2, a2) ?F(a1, a1)∧F(a2, a1)∧F(a1, a2)∧F(a2, a2) ?(?x)F(x,a1)∧(?x)F(x,a2) ? (?y)(?x)F(x,y) (?x)(?y)F(x,y)?(?x)((?y)F(x,y)) ?(?y)F(a1,y)∨(?y)F(a2,y) ?F(a1, a1)∨F(a1, a2)∨F(a2, a1)∨F(a2, a2) ?F(a1, a1)∨F(a2, a1)∨F(a1, a2)∨F(a2, a2) ?(?x)F(x,a1)∨(?x)F(x,a2) ? (?y)(?x)F(x,y) 在域{a1，a2}上多次量化公式 (?x)(?y)F(x,y)?(? x)((?y)F(x,y)) ?(?y)F(a1,y) ∨(?y)F(a2,y) ?(F(a1, a1)∧F(a1, a2))∨(F(a2, a1)∧F(a2, a2)) (?y)(?x) F(x,y)?(?y) ((?x)F(x,y)) ?(?x)F(x, a1) ∧(?x)F(x, a2) ?(F(a1, a1 )∨F(a2, a1