2离散数学课件.ppt

计算机科学与技术 第二章 一阶逻辑 谓词应注意的事项 n元谓词中，客体变项的次序很重要 。 例：F（x,y）表示x是y的父亲， a:张三，b:张小明。 F（a,b）表示张三是张小明的父亲。 F（b,a）表示张小明是张三的父亲。 两个命题至多一个是真 谓词应注意的事项 在讨论一个问题是必须先确定好个体域D。如不作限制，表示宇宙一切事物组成的个体，成为全总个体域。 例：F（x,y）表示x是y的父亲， a:张三，b:张小明。 F（a,b）表示张三是张小明的父亲。 F（b,a）表示张小明是张三的父亲。 两个命题至多一个是真 谓词应注意的事项 同一个n元谓词，取不同的客观，真假会不同。例： A（x）：x是大学生。 A（a） 真值可能为真， A（b）真值可能为假。 谓词应注意的事项 对于同一谓词，个体域D不同，真值可能也不同。 例： 对于A（x），x是大学生。 如D={大学生全体}，A（x）是重言式。 如D={学生全体}，A（x）是仅可满足式。 如D={计算机全体}，A（x）是永假式。 全称量词： “所有的”，“任何一个”，“每一个”，“凡是”，“一切”表示个体域中每一个，用符号“?”表示，称为全称量词。 例1：将下列命题符号化 所有人都要呼吸 每个人都是要死的 2.存在量词：“有些”，“存在”，“至少有一个”，表示个体域D中存在个体，用符号“?”表示。 例2：将下列命题符号化 有些人是聪明和美丽的。 有人早饭吃面包。 例 设A(x,y)表示x和y同姓，x的个体域是甲班同学，y的个体域是乙班同学，则： (?x)( ?y)A(x,y)： 甲班任何一个同学与乙班所有同学同姓。 (?y)( ?x)A(x,y)： 乙班任何一个同学与甲班所有同学同姓。 (?x)(?y)A(x,y)： 对甲班任何一个人乙班都有人和他同姓。 (?y)( ?x)A(x,y)： 存在一个乙班同学和甲班所有同学同姓。 例： D表示某班全体学生，G（x）表示x是男生。 G（李刚）是真，而G（王芳）是假。 ? xG（x）与?xG（x）是命题了， x仅是一个“指导变量” ? xG（x）：全班每个人均是男生。 ? xG（x）：全班存在一个人是男生。 含量词的谓词公式的真值不再依赖于x的选取了。 例： D：自然数全体 G(x,y)：x小于y。 ?x?yG(x,y) 任意一个自然数x,总存在自然数y,使得x小于y. 该命题是真的。 ?y?xG(x,y) 存在一个自然数y,使得对一切自然数x,使x小于y,即y是最大的自然数。 该命题是假的。 第二节 一阶逻辑合式公式及解释 例：D是个体名称集，x?D，人名变量，a：张三， b：李四。 x,a,b是项， f(x):x的父亲 S(x,y),x和y的儿子。 f(a): 张三的父亲,仍然是个名词，不是句子，它仍是项。 f(f(a)): 张三的祖父， P(x,y):x是y的父亲，是句子而不是名词。其是命题函数，而不是项了。 例： H(a,b) C(x)?B(x) ?x(M(x)?H(x)) ?x(M(x)?C(x)?B(x)) ?x?y(M(x)? H(x,y)?L(x,y)) 均是合式公式。 以上出现的大写英文字母均是谓词符号。 例： (1)?xF(x,y)∧?xG(x,y) ?xF(x,y)∧?uG(u,y)  (2)?x(F(x,y) ?P(x))∧?y(Q(x,y) ?R(x) ?x(F(x,v) ?P(x))∧?y(Q(u,y) ?R(u)) 第三节 一阶逻辑等值式 说明： (1),(2),(5),(6)?，?在?，?逻辑词下，辖域可以扩充到一切不含该指导变元的任意原子公式上，推广的有?xA(x) ?B(y)??x (A(x) ?B(y))两个条件1、B中不含指导变元x 2. 只能与?，? 说明 在(3)(7)中含有?的公式中辖域的扩充与收缩时，?和?交换了，这是由于两次的辖域不同在用蕴含律时?所处的位置不同  证明: ?x(A(x) ? B) ??x(?A(x) ?B) ??x(?A(x)) ?B ???xA(x) ?B ??xA(x) ? B 说明 ?对?，?对?，量词可以合并 对于D={a,b,c} ?xA(x) ??xB(x) ?(A(a) ?A(b) ?A(c)) ?(B(a) ?B(b) ?B(c)) ?(A(a)