离散数学答案(尹宝林版)第二章习题解答

离散数学答案(尹宝林版)第二章习题解答

第二章 谓词逻辑

习题与解答

1. 将下列命题符号化：

(1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令

x

x T :)(是火车， x x C :)(是汽车， x y x F :),(比y 跑得快。

“所有的火车都比某些汽车快”可以符号化为

)))

,()(()((y x F y C y x T x ∧∃→∀。

(2) 取论域为所有物质的集合。令

x

x M :)(是金属， x x L :)(是液体， x y x D :),(可以溶解

在y 中。

“任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧∃→∀。

(3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为

)))

,()(()((y x D y L y x M x →∀∧∃。

(4) 取论域为所有事物的集合。令

))

),(),((),(),((u z u z y u D x u D u y z D x z D z y x =∨<→∧∀∧∧∃∀∀，

并可进一步符号化为

))

)()(()()((u z u z u y v v u x v v u z y v v z x v v z y x =∨<→=•∃∧=•∃∀∧=•∃∧=•∃∃∀∀(3) “没有最大的素数”可表示为

))

)(()((x y x y y P y x P x =∨<→∀∧⌝∃，

并可进一步符号化为

))

)1)(()1(()

1)(()1((x y x y y u u y u v v u y y x u u x u v v u x x =∨<→=∨=↔=•∃∀∧=⌝∀∧=∨=↔=•∃∀∧=⌝⌝∃

(4) “并非所有的素数都不是偶数”可表示为

))

()((x E x P x ⌝→⌝∀，并可进一步符号化为

))

2()1)(()1((x v v x u u x u v v u x x =•⌝∃→=∨=↔=•∃∀∧=⌝⌝∀

3. 取论域为实数集合，用函数+，－（减法）和谓词<，=将下列命题符号化： (1) 没有最大的实数。

(2) 任何两个不同的实数之间必有另一实数。 (3) 函数)(x f 在点a 处连续。 (4) 函数)(x f 恰有一个根。

(5) 函数)(x f 是严格单调递增函数。

解 (1) “没有最大的实数”符号化为

)

(x y x y y x =∨<∀⌝∃。

(2) “任何两个不同的实数之间必有另一实数”符号化为))((y z z x z y x y x <∧<∃→<∀∀。

(3) “函数)(x f 在点a 处连续”的定义是： 任给0>ε，总可以找到0>δ，使得只要δ<-||a x 就有

ε

<-|)()(|a f x f 。

“函数)(x f 在点a 处连续”符号化为

)))

)()()()((0(0(εεδδδδεε+<∧<-→+<∧<-∀∧<∃→<∀a f x f x f a f a x x a x

(4) “函数

)

(x f 恰有一个根”符号化为))

0)((0)((x y y f y x f x =→=∀∧=∃。

(5) “函数)(x f 是严格单调递增函数”符号化为

))

()((y f x f y x y x <→<∀∀。

4. 指出下列公式中变元的约束出现和自由出现，并对量词的每次出现指出其辖域。 (1) )),(),((a x P x y P x →∀

(2) )

,()(y x zQ x xP ∀→∀

(3) )

()())()((x Q x xP x R x P x ∧∀→∧∀ (4) ))),(,()),,(((y x g z xP x y x f P y ∀→∀

(5)

)

())()()((x R x xR x Q x P x ∧∃∧→∀

解 (1) 变元 x 在)),(),((a x P x y P x →∀中三次出现都是约束出现，∀x 的唯一出现的辖域是 P (y , x ) → P (x , a )。

(2) 变元 x 在),()(y x zQ x xP ∀→∀中的头两次出现是约束出现，第三次出现是自由出现。变元 y 在

)

,()(y x zQ x xP ∀→∀中的唯一出现是自由出现。变元 z

在),()(y x zQ x xP ∀→∀中的唯一出现是约束出现。∀x 的唯一出现的辖域是 P (x )，∀z 的唯一出现的辖域是Q (x , y )。

(3) 变元 x 在)()())()((x Q x xP x R x P x ∧∀→∧∀中的头五次出现是约束出现，第六次出现是自由出现。∀x 的第一次出现的辖域是P (x ) ∧ R (x )，第二次出现的辖域是P (x )。

(4) 变元 x 在))),(,()),,(((y x g z xP x y x f P y ∀→∀中的头两次出现是自由出现，后两次出现是约束出现。∀x 的唯一出现的辖域是 P (z , g (x , y ))， ∀y 的唯一出现的辖域是

P (f (x , y ), x ) → ∀xP (z , g (x , y ))。

(5) 变元 x 在)())()()((x R x xR x Q x P x ∧∃∧→∀中的头五次出现是约束出现，第六次出现是自由出现。∀x 的唯一出现的辖域是P (x ) → Q (x ) ∧ ∃xR (x )，∃x 的唯一出现的辖域是R (x )。

5. 归纳证明：若t ，t '是项，则x t t '也是项。 证明 ① 若t 是x ，则x t t '是t '，x t t '是项。

② 若t 是不同于x 的变元y ，则x t t '仍是y ，x t t '是项。 ③ 若t 是常元a ，则x t t '仍是a ，x t t '是项。 ④若t 是),,(1n t t f Λ，则x t t '是))(,,)((1x t n x t t t f ''Λ，由归纳假设