《离散数学2010秋复习本科.docVIP

一．命题逻辑 1、所谓命题，是指具有真假意义的陈述句┐P P∧Q P∨Q P→Q P→← Q T T F T T T T T F F F T F F F T T F T F F F F T F F F T 2. 定义1.3.1 设A为一个命题公式，对A做所有可能的解释I，对于这些解释I： ① 若I(A)皆为成真，称A为永真式； ② 若I(A)皆为成假，称A为永假式； ③ 若至少存在一个I(A)为真，称A为可满足式。用真值表判定公式 ┐(┐P→Q)∧P是永真、永假还是可满足。┐(┐P→Q)∧P 0 1 0 1 1 0 0 0 0 3.从算法的角度来解释如下定理 分配律：A∧(B∨C)?(A∧B)∨(A∧C) ，A∨(B∧C)?(A∨B)∧ (A∨C) 。例1.3.6证明 P→(Q→R)?Q→(P→R)例1.4.2 设A(P，Q，R)= ┐P∨(┐Q∧R)，试证明：A*(┐P，┐Q，┐R) ?P∧(Q∨┐R)。A*(┐P，┐Q，┐R)A(P，Q，R)例1.4.3 试证明①式，来证明②式) ① ┐ (P∧Q)→(┐ P∨Q)? ┐ P∨Q ② (P∨Q)∧(┐ P∧Q)? ┐ P∧Q 6．例1.8.1 求(P?Q)∧Q的主析取范式∨m3,M0∧M2。 例1.9.4 证明从前提P?Q，┐(QR)可演绎出┐P。 例1.9.5 证明R?S可从前提P?(Q?S)，┐RP和Q推出。 我为人人, 人人为我。 设 S(x, y): xy服务, 用i表示我。命题表示为: (x) S(i, x)∧(x) S(x, i) 例 勇敢者未必都是成功者。 解 设 B(x): xS(x): x是成功者。命题表示为: ?(x) (B(x) ? S(x)) 或 ($x) (B(x)∧?S(x)) 例 并非一切劳动都能用机器代替。 设 L(x): xM(x): x是一种机器, R(x, y): x被y代替。命题表示为: ?(x) (L(x) ? ($y) (M(y)∧R(x,y))) 例 对任意整数x， x2-1=(x-1)(x+1). 令I(x):x是整数，f(x)= x2-1，g(x)= (x-1)(x+1). E(x,y):x=y,则命题可表示为 (x)(I(x) → E(f(x),g(x))) 2．例如，取A为(?x)P(x，y)?(?)Q(x，)，则项对不是自由的，项对是自由的，项对不是自由的，项对是自由的。于是，= (?x)P(x，)?(?x)Q(x，)，=(?x)P(x，y)?(?x)Q(y，)。例2.4.1 设公式为(?x)(?y)(?z)E(f(x，z)，y)，试说明它在下面解释中的具体含义。 解释N：DN为含有0在内的全体自然数，a′= 0，f ′(i，j) = i+j，g′(i，j) = * j，h′(i)=i+1，E′(i，j):= j，其中i，j是DN中的元素。 解释Q：DQ为正有理数全体，a′=1，f ′(p，q)= p * q，q′(p，q)= p/q，E′(p，q):p = q，其中p，q是DQ中的元素。(?y)(?z)E(f(x，z)，y)(来源) _为什么这样定义？，这样定义之后应该考虑什么问题？ 定义2.5.2 令A为命题逻辑中的公式，其中出现的命题变元为P1，P2，…，Pn。B1，B2，…，Bn是谓词逻辑中的公式，用Bi(1≤i≤n)处处代入A中的Pi而得到谓词逻辑中公式A′，记为 称A′为A在谓词逻辑中的代入实例。若A为永真式，则称A′为谓词逻辑的永真式 例如，(x)A(x)→(x)A(x)是P→P的代入实例，并且是谓词逻辑中的永真式 定理2.5.4 谓词逻辑的永真式在谓词逻辑的任何解释中都为真 例2.5.1 判断下列公式是否为逻辑有效： (x)A→($x)A，其中A为任何公式，x为任意个体变元。 (x)($y)G(x，y)→($x)(y)G(x，y) 5．在谓词逻辑的推理理论中首先定义了一个公式A(x)对y是自由的，其定义的目的是什么？ 定义2.10.1 在谓词公式A(x)中，若x不自由出现在量词(y)或($y)的辖域， 则称A(x)对于y是自由的。 *********************************************************** 6．例 求$xyz$uv$w G(x,y,z,u,v,w)的斯柯林范式: 解 用a替换x, 删除$x得 yz$uv$w G(a, y, z, u, v, w), 用f (y, z)u, 删除$u得 yzv$w G(a, y, z, f (y,z), v, w), 用h(y, z, v)替换w, 删除$w得 yzv G(a, y, z, f(y,z), v,