离散数学 例题与解答2.pptVIP

离散数学 * * 例题1 设P(x,y)：xy，g(x)=|x|，h(x,y)=x-y。试在一阶逻辑中将下述关于函数f(x)当x→?时的极限为A的定义符号化。 对任意的?0，存在M0，使得对任意的x，当|x|M时，有|f(x)-A| ?。 (??)(P(?,0) →(?M)(P(M,0)∧(?x)(P(g(x),M)→P(?,g(h(f(x),A)))))) 例题2 设推理规则有前提引入规则、有效结论规则、ES、EG、US、UG和如下两个规则 P1：A→B P2：A∨B ?B ??A ?A ?B 试证明： (?x)(?y)R(x,y)是(?x)(?y)(P(x,y) →Q(x,y)),(?x)(?y) ?Q(x,y)和(?x) (?y)(P(x,y) ∨R(x,y))的有效结论。 (?x)(?y)(P(x,y) →Q(x,y)) 前提引入 (?x) (P(x,v) →Q(x,v)) ES(1) (?x)(?y) ?Q(x,y) 前提引入 (?y) ?Q(u,y) ES(3) ?Q(u,v) US(4) P(u,v) →Q(u,v) US(2) ?P(u,v) P1(6)(5) (?x) (?y)(P(x,y) ∨R(x,y)) 前提引入 (?y)(P(u,y) ∨R(u,y)) US(8) P(u,v) ∨R(u,v) US(9) R(u,v) P2(7)(10) (?x)R(x,v) EG(11) (?x)(?y)R(x,y) EG(12) 例题3 证明：(?x)(P(x) →Q(x))?((?x)P(x) →(?x)Q(x))是永真式。 解：只需证明(?x)(P(x) →Q(x))?((?x)P(x) →(?x)Q(x)) (?x)(P(x) →Q(x)) ?(?x)(?P(x)∨Q(x)) ? (?x)?P(x)∨ (?x)Q(x) ? ?(?x)P(x)∨ (?x)Q(x) ? (?x)P(x)→(?x)Q(x) 例题4 将命题“并非E1中的每个数都小于或等于E2中的每个数”按以下要求的形式表达出来： 出现全称量词，不出现存在量词； 出现存在量词，不出现全称量词。 例题5 将下列推理形式化： 所有牛都有角，有些动物是牛，所以有些动物有角。 解：设P(x):x是牛。Q(x):x有角。R(x):x是动物。 则推理形式化为：(?x)(P(x) →Q(x)), (?x)(R(x)∧P(x))? (?x)(R(x)∧Q(x)) (?x)(R(x)∧P(x)) P R(a)∧P(a) ES(1) P(a) T(2) I (?x)(P(x) →Q(x)) P P(a) →Q(a) US(4) Q(a) T(3)(5) I R(a) T(2) I R(a) ∧Q(a) T(6)(7) I (9) (?x)(R(x)∧Q(x)) EG(8) 例题6 问(?x)(?y)P(x,y) ?(?y)(?x)P(x,y)是否是谓词演算的有效结论？证明你的结论。 假设论域为自然数N，P(x,y)解释为x≤y，则显然有 (?x)(?y)P(x,