《离散数学答案尹宝林版第二章习题解答.doc》由会员分享，可在线阅读，更多相关《离散数学答案尹宝林版第二章习题解答.doc（15页珍藏版）》请在三一办公上搜索。
1、第二章谓词逻辑习题与解答1. 将以下命题符号化：(1)所有的火车都比某些汽车快。(2)任何金属都可以溶解在某种液体中。(3)至少有一种金属可以溶解在所有液体中。(4)每个人都有自己喜欢的职业。(5)有些职业是所有的人都喜欢的。解(1)取论域为所有交通工具的集合。令是火车，是汽车，比y跑得快。“所有的火车都比某些汽车快”可以符号化为。(2)取论域为所有物质的集合。令是金属，是液体，可以溶解在y中。“任何金属都可以溶解在某种液体中”可以符号化为。(3)论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中”可以符号化为。(4)取论域为所有事物的集合。令是人，是职业，喜欢y。“每个人都有自己喜欢
2、的职业”可以符号化为(5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为。2.取论域为正整数集，用函数（加法），（乘法）和谓词，将以下命题符号化：(1)没有既是奇数，又是偶数的正整数。(2)任何两个正整数都有最小公倍数。(3)没有最大的素数。(4)并非所有的素数都不是偶数。解先引进一些谓词如下：能被y整除，可表示为。是奇数，可表示为。是偶数，可表示为。是素数，可表示为。(1)“没有既是奇数，又是偶数的正整数”可表示为，并可进一步符号化为。(2)“任何两个正整数都有最小公倍数”可表示为，并可进一步符号化为(3)“没有最大的素数”可表示为，并可进一步符号化为(4)“并非所有的素数
3、都不是偶数”可表示为，并可进一步符号化为3.取论域为实数集合，用函数，（减法）和谓词，将以下命题符号化：(1)没有最大的实数。(2)任何两个不同的实数之间必有另一实数。(3)函数在点a处连续。(4)函数恰有一个根。(5)函数是严格单调递增函数。解(1)“没有最大的实数”符号化为。(2)“任何两个不同的实数之间必有另一实数”符号化为。(3)“函数在点a处连续”的定义是：任给，总可以找到，使得只要就有。“函数在点a处连续”符号化为(4)“函数恰有一个根”符号化为。(5)“函数是严格单调递增函数”符号化为。4.指出以下公式中变元的约束出现和自由出现，并对量词的每次出现指出其辖域。(1)(2)(3)(
4、4)(5)解(1) 变元x 在中三次出现都是约束出现，x 的唯一出现的辖域是 P(y, x) P(x, a)。(2) 变元x 在中的头两次出现是约束出现，第三次出现是自由出现。变元y 在中的唯一出现是自由出现。变元z 在中的唯一出现是约束出现。x 的唯一出现的辖域是 P(x)，z 的唯一出现的辖域是Q(x, y)。(3) 变元x 在中的头五次出现是约束出现，第六次出现是自由出现。x 的第一次出现的辖域是P(x) R(x)，第二次出现的辖域是P(x)。(4) 变元x 在中的头两次出现是自由出现，后两次出现是约束出现。x 的唯一出现的辖域是 P(z, g(x, y)， y的唯一出现的辖域是P(f(
5、x, y), x) xP(z, g(x, y)。(5) 变元x 在中的头五次出现是约束出现，第六次出现是自由出现。x 的唯一出现的辖域是P(x) Q(x) $xR(x)，$x 的唯一出现的辖域是R(x)。5.归纳证明：若t，是项，则也是项。证明 若t是x，则是，是项。 若t是不同于x的变元y，则仍是y，是项。若t是常元a，则仍是a，是项。若t是，则是，由归纳假设知都是项，所以是项。6.归纳证明：若t是项，A是公式，则也是公式。证明若A是，则是，由上题知都是项，所以是公式。若A是，则是，由归纳假设知是公式，所以是公式。若A是，则是，由归纳假设知和都是公式，所以是公式。若A是，则仍是A，是公式。若
6、A是，其中y是不同于x的变元，则是，由归纳假设知是公式，所以是公式。7.给定解释I和I中赋值v如下：，计算以下公式在解释I和赋值I中v下的真值。(1)(2)(3)解(1)(2)(3)7.给定解释I如下：， ， 判断I是不是以下语句的模型。(1)(2)(3)(4)(5)(6)解(1)(2)(3)(4)(5)(6)9.写出一个语句A，使得A有模型，并且A的每个模型的论域至少有三个元素。解 语句A为。给定解释如下。为自然数集合， 当且仅当， ，则是A的模型，A有模型。任取满足语句A的解释I，则，又因为，所以，是论域中三个不同元素，论域中至少有三个元素。10.写出一个语句A，使得A有模型，并且A的每个
7、模型的论域有无穷多个元素。解 语句A为。给定解释如下。为自然数集合， 当且仅当则是A的模型，A有模型。任取满足语句A的解释I，取，因为，所以有使得，又因为，故。因为，所以有使得，又因为，故。因为，所以，故。因此，是论域中的三个不同元素。这个过程可以不断进行下去，得到因此，论域DI中必然有无穷多个元素。11.判断以下公式是不是永真式、永假式、可满足式，并说明理由。(1)(2)(3)(4)(5)(6)(7)解(1) 是永真式。若解释I使得，则或。 若，则存在使得，。 若，则存在使得，。因此，。(2) 是非永真的可满足式。给定解释I如下。， ， 则。给定解释如下。，则。(3) 是非永真的可满足式。给
8、定解释I如下。， ， 则。给定解释如下。，则。(4) 是非永真的可满足式。给定解释I如下。， 则。给定解释如下。，则。(5) 是非永真的可满足式。给定解释I如下。， ， 则。给定解释如下。，则。(6) 是永真式。若解释I使得，则存在使得，因此且，且，。(7) 是永真式。若解释I使得，则且。存在使得，又因为，所以，。因此，。12.设A,B是任意公式，证明以下公式是永真式。(1) ,其中项t对于A中的x是可代入的。(2) (3) (4) (5) (6) ，其中x不是A的自由变元。解(1) 任取解释I和I中赋值v，若,则，所以。这说明是永真式。(2) 任取解释I和I中赋值v，当且仅当 当且仅当 存在
9、使得当且仅当 存在使得当且仅当 这说明是永真式。(3) 任取解释I和I中赋值v，当且仅当 当且仅当 存在使得当且仅当 存在使得当且仅当 这说明是永真式。(4) 任取解释I和I中赋值v，若，则存在使得，且，。这说明是永真式。(5) 任取解释I和I中赋值v，若，则存在使得，。这说明是永真式。(6) 任取解释I和I中赋值v，若，则对于每个，因为x不是A的自由变元，所以，因此，。这说明是永真式。13.设是公式A的闭包，是，其中。证明：(1) A是永真式当且仅当是永真式；(2) A是可满足式当且仅当是可满足式。证明(1) （）首先证明：若A是永真式，则是永真式。设A是永真式。任取解释I和I中赋值v，任取
10、，因为也是I中赋值，所以，。是永真式。若A是永真式，则是永真式， ，是永真式。（）因为是永真式，所以若是永真式，则A是永真式。(2) （）因为是永真式，所以若解释I和I中赋值v满足A，则I和v满足。（）若解释I和I中赋值v满足，则有使得，I和I中赋值满足A。14.判断以下等值式是否成立，并说明理由。(1) (2) (3) (4) (5) (6) 解 (1) 不成立。取解释I如下。， ， ， ， 则且。(2) 不成立。取解释I如下。， ， ， ， 则且。(3) 不成立。取解释I和I中赋值v下。， ， ， 则且。(4) 成立。任取解释I和I中赋值v，因为x不是中的自由变元，所以对于每个，。当且仅当
11、对于每个，当且仅当(5) 不成立。取解释I如下。， ， ， ， 则且。(6) 不成立。取解释I如下。， ， ， 则且。15.设A,B是任意公式，证明以下等值式。(1) ，其中y在A中不出现。(2) (3) ，其中x不是B的自由变元，y不是A的自由变元。(4) ，其中x不是B的自由变元，y不是A的自由变元。(5) ，其中x不是B的自由变元，y不是A的自由变元。(6) 证明 (1) (2) (3) (4) (5) (6) 任取解释I和I中赋值v，当且仅当有使得当且仅当有使得当且仅当有使得当且仅当有使得当且仅当16.判断以下逻辑推论关系是否成立，并说明理由。(1) (2) (3) (4) (5) (
12、6) 解 (1) 不成立。取解释I如下。， ， ， ， 则且。这说明。(2) 不成立。取解释I如下。， ， ， ， 则且。这说明。(3) 不成立。取解释I如下。， ， ， 则且。这说明。(4) 若解释I使得，则有使得，且，。这说明。(5) 不成立。取解释I如下。， ， ， 则且，这说明。(6) 不成立。取解释I如下。， ， 则，但。所以。17.设A,B是任意公式，证明以下结论。(1) (2) (3) ，其中x对于A中的y是可代入的。(4) 证明 (1) 若解释I和I中赋值v使得，则有使得，且，。这说明。(2) 若解释I和I中赋值v使得，则对于每个，。这说明。(3) 若解释I和I中赋值v使得，则
13、有使得，因为，所以，。这说明。(4) 若解释I和I中赋值v使得，则对于每个，且，因此且，。所以。18.设变元x既不是公式B中的自由变元，也不是公式集中任何公式的自由变元，A是公式。若，则。证明 设解释I和I中赋值v满足，则，有使得。因为x不是公式集中任何公式的自由变元，所以I和也满足，I和满足。又因为，所以，因为x不是B中的自由变元，因此。这说明。19. 设是公式集合，A是公式，则当且仅当不可满足。证明 设可满足，解释I和I中赋值v满足，则I和v满足且，所以。设，则有解释I和I中赋值v满足且，所以I和v满足。因此，可满足。20.判断以下公式集合是否可满足，并说明理由。(1) (2) 解 (1) 可满足。取解释I和I中赋值v如下。， ， ，对每个常元a，；对每个n元函数符号f，；对每个变元x，。可归纳证明：对每个项t，。I和v满足。(2) 可满足。取解释I和I中赋值v如下。为自然数集， 当且仅当 则I和v满足。
