离散数学第12讲.pptVIP

１．在谓词逻辑中，将下列命题符号化为： （１ 有些人喜欢所有的花。 （２） 没有不犯错误的人。 （３） 在北京工作的人未必都是北京人。 （４） 尽管有人聪明，但未必每个人都聪明。 （5）至多存在一个偶素数。 （6）存在唯一偶素数。 （7）任意实数总能比较大小 ２． 对下面每个公式指出约束变元和自由变元。 (1)?x P(x)→Q(y) (2)?x P(x)∧Q(x)∧?x G(x) (3)?x?y(P(x)∧Q(y))→?x R(x) (4)?x?y(P(x, y)∧Q(z)) ３． 设个体域D={a, b, c}，试将下列各式化为不含量词的形式。 (1)?x F(x)∧?x G(x) (2)?xP(x) (3)?x(P(x)→Q(x)) 4、求下列各式的前束范式 (1)?x F(x)∨?y G(y) (2)?z(?y H(x, y)--?x G(x, y, z)) (3)?x(┐(?y P(x, y))→(?z Q(z)→R(x))) 5、设有两个谓词公式Ｇ＝?x A(x)→B和Ｈ=?x(A(x)→B则它们之间的关系是（ ） (A)G==H (B)G==H (C)H==G (D)以上 6、指出下列谓词公式在相应解释下的真值 (1)?x（Ｐ→Ｑ（x））∨Ｒ（e） 其中个体域Ｄ＝{－２，３，６}, P：“３＞２”, Ｑ(x)：“x ≤３”，Ｒ(x)：“x＞５”，e：３。 (2) ?x( P(x)→Q(x) ) 其中Ｐ（x）：“Ｘ＞３”，Ｑ（x）：“x＝４”， 个体域Ｄ＝{2} 7、构造下面推理的证明。 (1)前提?x P(x)→?x Q(x) 结论?x(P(x)→Q(x)) (2)前提?x(P(x)∨Q(x)),?x(Q(x)→┐R(x)),?x R(x) 结论?x P(x) 8、符号化下面命题，并给出推理证明(给出每个符号的准确含义，写出每一步推理的根据)： (1)每个科学工作者都是刻苦钻研的。每个刻苦钻研而又聪明的人在他的事业中都将获得成功。华有为是科学工作者并且是聪明的，所以华有为在他的事业中将获得成功 (2) 对于每两个点, 有且仅有一条直线通过该两点。（只符号化） (3) 对所有人而言，如果他喜欢步行，就不喜欢乘汽车。每个人或者喜欢乘汽车，或者喜欢骑自行车。有些人不爱骑自行车，因而有些人不喜欢步行。 (4)鸟会飞,猴子不会飞;所以,猴子不是鸟. 9 、指出下面推理中的错误。 （1）?x(F(x)?G(x)) 前提 （2）F(c)?G(c) （1），EI （3）F(c) （2） （4）?y(H(y)?I(y)) 前提 （5）H(c)?I(c) （4） （6）H(c) （5） （7）F(c)?H(c) （3）,（6） （8）?x(F(x)?H(x)) （7），EG。 10、利用一阶逻辑的基本等价式，证明： x?y(F(x)?G(y))??xF(x)??yG(y) 11：在自然推理系统F中，构造下列推理的证明。 前提：?x(F(x) ∨ G(x))， ? ?x G(x). 结论： ?x F(x) . 12:在自然推理系统F中，构造下列推理的证明。 前提：?x(F(x)∨G(x)), ?x(? R(x)∨ ? G(x)), ?x R(x). 结论： ?x F(x) . 13：在自然推理系统F中，构造下列推理的证明。 前提： ?x (A(x)?B(x))， ?x (A(x)∧H(x)) 结论： ?x (B(x)∧H(x)) * * *