谓词和量词.pptVIP

课内练习： 将公式?x(P(x) →Q (x,y))∧R (x,y)中的 约束变元改名正确的是( )。 1 ?y(P(y)→Q(y,y))∧R(x,y) 2 ?z(P(z)→Q(x,y))∧R(x,y) 3 ?z(P(z)→Q(z,y))∧R(x,y) 注：在谓词公式中，通常一个变元在一个公式中只以一种 形式出现，从形式上对约束变元和自由变元加以区分， 避免概念上的混淆。 例1-6-7 利用改名规则和代入规则，使自由变元和约束变 元使用不同的符号。 ?x?y(P(x,y)∨Q(y,z))∧ ?xP(x,y) （1）对第一项用改名规则，得： ?x?y(P(x,y)∨Q(y,z))∧?xP(x,y) ??u?v(P(u,v)∨Q(v,z))∧?xP(x,y) （2）对第二项用代入规则，将?xP(x,y)中y代入为v， 同时用改名规则，将?xP(x,y)中x改名为u， 得：?x?y（P(x,y)∨Q(y,z)）∧?uP(u,v) 1、当多个量词连续出现，它们之间无圆括号分隔时， 约定：按从左到右的次序读出，后面的量词在前面的 量词的辖域中，量词对变元的约束与量词的次序有关。 例如： ?y?x(x(y-2)) 这里 ?y的辖域为?x(x(y-2))， 而 ?x的辖域为x(y-2)。 若设x,y的个体域为实数集。则 ?y?x(x(y-2))表示： 对任何实数ｙ均存在实数ｘ，使得x(y-2)。(T) ?x?y(x(y-2))表示： 存在实数ｘ对任何实数ｙ均有x(y-2)。 (F) ——多个量词同时出现时，不能随意颠倒它们的顺序， 颠倒后有时会改变原命题的含义。 六、多重量词的使用 2、 若一个量化断言中含有多个量词，当个体域为有限集时， 可以从里到外将量词逐个消去。 例如： 设 D={0，1}, 消去下列量化断言中的量词。 则 1 ?x?yH(x,y) ?x(?yH(x,y)) ??x( H(x,0)∨H(x,1) ) ?(H(0,0)∨H(0,1)) ∧ (H(1,0)∨H(1,1)) 2 ?xH(x,y) ? H(0,y) ∧ (H(1,y) 其中：H(x,y)是二元谓词， x,y 相互独立的变元 而 ?xH(x,y)是一元谓词， y变元 ?x?yH(x,y)是0元谓词， 无变元 注：n元谓词P(x1，x2，…，xn)，有n个相互独立的自由变元。 若对其中k个变元进行约束，则成为n-k元谓词。 3、当个体域和谓词的含义均确定时，n元谓词需用n个量词量化后才转化为命题。 注：n元谓词公式转化为命题公式的两种途径： (1) n个个体变元分别用n个个体常元逐个代入。 (2) 依次加上n个量词对谓词进行量化。 如 H(x,y)：xy。D为实数集。 则 H(0,1)：01 ?x?yH(x,y)：对任何实数ｘ均存在实数ｙ，使得xy。 例1-6-8 在全总个体域中将下列命题符号化。 1 任何一只兔子都比所有的乌龟跑得快。 2 并不是所有的兔子都比所有的乌龟跑得快。 3 有的兔子比所有的乌龟跑得快。 解： 设F(x): x是兔子。G(y): y是乌龟。 　　 H(x,y): x比y跑得快。 则：1 ?x?y (F(x)∧G(y)→ H(x,y) ) 2 ? ?x?y (F(x)∧G(y)→ H(x,y) ) 3 ?x( F(x)∧?y(G(y)→ H(x,y) ) ) 多元谓词的量化实例 4 不存在跑得同样快的两只兔子。 解：设F(x): x是兔子。 L(x,y): x与y跑得一样快。 H(x,y)：x等于y。 则 ??x?y(F(x)∧F(y)∧? H(x,y)∧ L(x,y) )) 或原句即：每只兔子跑得都不一样快。 则 ?x?y(F(x)∧F(y)∧?H(x,y)→ ?L(x,y) ) 5 每个人都有一些缺点。 解：设M(x)：x是人。G(y)：y是缺点。 F(x,y)：x有y。 则 ?x(M(x)→ ?y(G(y)∧ F(x,y) ) 一、在谓词逻辑中将下面命题符号化。 1. 自然数皆为整数； 2. 有的自然数是负数；? 3. 没有不能表示成分数的有理数；? 4. 参加考试的人不一定取得好成绩。 5. 发光的不都是金子。 6. 如果明天下雨,，那么某些人将被淋湿。 7. 每一列火车都比所有汽车跑得快。 8. 某些汽车比所有火车跑得快。 9. 对于任给的实数总存在一个比它大的实数。 10.有两个奇数，