离散结构及应用-ALL研究.ppt

* * * * * * * * R是实数集合，R上的几个熟知的关系: 可以看出关系是序偶(点)的集合(构成线、面)。 * * * * * ⑴ ?x(P(x)∧?y(D(y)→L(x,y))) P ⑵ P(a)∧?y(D(y)→L(a,y)) ES ⑴ ⑶ P(a) T ⑵ ⑷ ?y(D(y)→L(a,y)) T ⑵ ⑸ ?x(P(x)→?y(Q(y)→?L(x,y))) P ⑹ P(a)→?y(Q(y)→?L(a,y)) US ⑸ ⑺ ?y(Q(y)→?L(a,y)) T ⑶ ⑹ ⑻ D(b)→L(a,b) US ⑷ ⑼ Q(b)→?L(a,b) US ⑺ ⑽ L(a,b) →?Q(b) T ⑼ ⑾ D(b)→?Q(b) T ⑻⑽ ⑿ ?D(b)∨?Q(b) T ⑾ ⒀ ?(D(b)∧Q(b)) T ⑿ ⒁ ?y?(D(y)∧Q(y)) UG ⒀ ⒂ ??y(D(y)∧Q(y)) T ⒁ * * * * * * * * * * * * * * * * * * * * * * * * * * 令U为全集，E、F、J分别为会英语、 法语和日语人的集合。|U|=170 |E|=120 |F|=80 |J|=60 |E∩F|=50 |E∩J|=25 |F∩J|=30 |E∩F∩J|=10 |E∪F∪J|=|E|+|F|+|J|-|E∩F|-|E∩J|-|F∩J|+|E∩F∩J| = 120＋80＋60－50－25－30＋10＝165 |U-(E∪F∪J)|=170-165=5 即有5人不会这三种语言。 * * * * * * * F(x,y)中的x在?x的辖域内，受到?x的约束，而其中的y不受?x的约束。 P(y)中的y在?y的辖域内，受?y的约束。 A(x)中的x在?x的辖域内，受?x的约束。 Q(z)中的z不受量词约束。 * (3).一个n元谓词P(x1,x2,…,xn)，若在前边添加k个量词，使其中的 k个客体变元变成约束变元，则此 n元谓词就变成了n-k元谓词。 例如，P(x,y,z)表示x+y=z，假设论域是整数集。 ?x?yP(x,y,z)表示“任意给定的整数x，都可以找到整数y，使得x+y=z” 。 如果令 z=1，则?x?yP(x,y,1)就变成了命题 “任意给定的整数x，都可以找到整数y，使得x+y=1”,…。 可见每当给z指定个整数a后，?x?yP(x,y,a) 就变成了一个命题。所以谓词公式?x?yP(x,y,z) 就相当于只含有客体变元 z的一元谓词了。 * 可见命题的符号表达式与论域有关。当论域扩大时，需要添加用来表示客体特性的谓词， 称此谓词为特性谓词。 特性谓词往往就是给定命题中量词后边的那个名词。如上面两个例子中的“所有自然数”、“有 些大学生”。 如何添加特性谓词，这是个十分重要的问题，这与前边的量词有关。 如果前边是全称量词，特性谓词后边是蕴含联结词“→”； 如果前边是存在量词，特性谓词后边是合取联结词“∧”。 * * * * * * * 练习：设论域D={1,2} a=1 b=2 f(1)=2 f(2)=1 P(1,1)=T P(1,2)=T P(2 ,1)=F P(2,2)=F 求谓词公式?x?y(P(x,y)?P(f(x),f(y)))的真值。 解： ?x?y(P(x,y)?P(f(x),f(y))) ??y(P(1,y) ?P(f(1),f(y))) ??y(P(2,y) ?P(f(2),f(y))) ?((P(1,1) ?P(f(1),f(1)))? (P(1,2) ?P(f(1),f(2))))? ((P(2,1) ?P(f(2),f(1)))?(P(2,2) ?P(f(2),f(2)))) ?((P(1,1) ?P(2,2))?(P(1,2) ?P(2,1)))? ((P(2,1) ?P(1,2))?(