刘杰《离散数学1》精品教学3-谓词逻辑-new.pptVIP

* * * * * * * 有多个扩充的选择，我们只选择扩充后使S为真的那个扩充。 * * 习题3.3-1 设G1=?x(P(x)?Q(x))，G2=?Q(a)证明：?P(a)是G1和G2的逻辑结果。 证明：若解释I满足G1 ?G2 ，往证则必满足?P(a)。 反证法：若解释I满足G1 ?G2 ，而弄假?P(a)，则在解释I下，P(a)为真；因G2为真，?Q(a)为真，所以Q(a)为假。故P(a)?Q(a)为假，则G1为假，这与解释I满足G1矛盾。从而结论得证。 习题3.3-3若?x(P(x)?Q(x))，?y(P(y)?R(y))在某解释I下取1值，则?z(Q(z)?R(z))是否在I下取1值？其中P，Q，R的定义域中有两个元素。若将存在量词都换为全称量词，结果怎样？ (1)不一定 举出反例 P(a) P(b) Q(a) Q(b) R(a) R(b) 1 1 0 1 1 0 1 1 1 0 0 1 (2)一定 给出严格证明 若? x(P(x)?Q(x))， ? y(P(y)?R(y))在某解释I下取1值,则? z(Q(z)?R(z))是否在I下取1值？ 证明： 若?x(P(x)?Q(x))，?y(P(y)?R(y))在某解释I下取1值，则对于任意的x?D，P(x)?Q(x)为真，则P(x)，Q(x)同时为真，即对于任意的x?D，Q(x)为真，同理，对于任意的y?D，R (y)为真，所以对于任意的z ?D，Q(z)?R(z)为真，因此?z(Q(z)?R(z)) 为真，即?z(Q(z)?R(z)) 在I下取1值。 习题3.4-2 (2)?x(?E(x,0)?(?y(E(y,g(x))??z(E(z,g(x))?E(y,z))))) ＝?x(?E(x,0)?(?y(E(y,g(x))??z(?E(z,g(x))?E(y,z))))) ＝?x(E(x,0) ? (?y(E(y,g(x))??z(?E(z,g(x))?E(y,z))))) ＝?x?y?z (E(x,0) ? (E(y,g(x))? (?E(z,g(x))?E(y,z)))) ＝?x?y?z ((E(x,0) ? E(y,g(x)) )? (E(x,0) ??E(z,g(x))?E(y,z))) 用f(x)代替y得Skolem范式: Skolem范式: ?x?z((E(x,0) ? E( f(x),g(x))) ? (E(x,0) ??E(z,g(x)) ? E( f(x),z))) 习题3.4-3 假设?x?yM(x，y)是公式G的前束范式，其中M(x，y)是仅仅包含变量x，y的母式。设f是不出现在M(x，y)中的函数符号，证明：G是恒真的当且仅当?xM(x，f(x))是恒真的 分析：要证G恒真当且仅当?xM(x，f(x)) 恒真，转而证明? G恒假当且仅当? ?xM(x，f(x)) 恒假 证：因? G=?(?x?yM(x，y))=?x?y(?M(x,y)) 而? ?xM(x，f(x)) =?x(?M(x，f(x)) 。 又?x(?xM(x，f(x)) 为? G的Skolem范式，因此，二者恒假性等价。 所以，G和?xM(x，f(x))恒真性等价。 练习： 判断对错： (1)存在集合A,B ,使A?B且A ? B (对) (2)设A={1,3}, B={2,3} ?(A)-?(A )={ {1}, {1,3}} (对) (3)若R1,R2有反对称性,则R1∪R2有反对称性(错) (4)设?：x ? ex x?R,则?是R到R+的一一映射 (对) (5)(P?Q) ?(P ? ?Q)为恒假公式 (对) (6) ?x(G(x) ?H(x)) ??xG(x) ? ?xH(x) (错) (7) (P?Q) ?R与(P?Q) ?R等价 (错) (8)对于集合A,B,C,若A ?B=A ?C, A? B=A ?C,则B=C (对) (9)A={1,2,3},A上共有6个等价关系 (错) (10)若A?B,则A ?B=A, A ?B=B (对) (11)(P ?Q) ?((Q ?R) ?(P?R))是恒真公式(对) (12)设S是G的Skolem范式,S与G恒真性等价 (错) 简答题： (1)集合A有n个元素，A上有多少个即对称又反对称的关系？2n (2)P,Q,R共有多少个极小项？满足某个极小项mi的解释唯一吗？ (3)A={{a},{b},{a,b},{a,b,c},{a,b,c,d},{a,b,c,d}} 画出部分序集(A, ?)的哈斯图，指出最大元，最小元，极