第二章习题解答Word格式.docx

第二章习题解答Word格式.docx

《第二章习题解答Word格式.docx》由会员分享，可在线阅读，更多相关《第二章习题解答Word格式.docx（14页珍藏版）》请在冰豆网上搜索。

“每个人都有自己喜欢的职业”可以符号化为

⑸论域与谓词与（4）同。

“有些职业是所有的人都喜欢的”可以符号化为。

⒉取论域为正整数集，用函数（加法），（乘法）和谓词，将下列命题符号化：

⑴没有既是奇数，又是偶数的正整数。

⑵任何两个正整数都有最小公倍数。

⑶没有最大的素数。

⑷并非所有的素数都不是偶数。

解先引进一些谓词如下：

能被y整除，可表示为。

是奇数，可表示为。

是偶数，可表示为。

是素数，可表示为。

⑴“没有既是奇数，又是偶数的正整数”可表示为，

并可进一步符号化为。

⑵“任何两个正整数都有最小公倍数”可表示为

，

并可进一步符号化为

⑶“没有最大的素数”可表示为，

⑷“并非所有的素数都不是偶数”可表示为，并可进一步符号化为

⒊取论域为实数集合，用函数，－（减法）和谓词，将下列命题符号化：

⑴没有最大的实数。

⑵任何两不同的实数之间必有另一实数。

⑶函数在点a处连续。

⑷函数恰有一个根。

⑸函数是严格单调递增函数。

解⑴“没有最大的实数”符号化为。

⑵“任何两不同的实数之间必有另一实数”符号化为。

⑶“函数在点a处连续”的定义是：

任给，总可以找到，使得只要就有。

“函数在点a处连续”符号化为

⑷“函数恰有一个根”符号化为。

⑸“函数是严格单调递增函数”符号化为。

⒋指出下列公式中变元的约束出现和自由出现，并对量词的每次出现指出其辖域。

（1）

（2）

（3）

（4）

（5）

5.归纳证明：

若t，是项，则也是项。

证明①若t是x，则是，是项。

②若t是不同于x的变元y，则仍是y，是项。

③若t是常元a，则仍是a，是项。

④若t是，则是，由归纳假设知都是项，所以是项。

6.归纳证明：

若t是项，A是公式，则也是公式。

证明①若A是，则是，由上题知都是项，所以是公式。

②若A是，则是，由归纳假设知是公式，所以是公式。

③若A是，则是，由归纳假设知和都是公式，所以是公式。

④若A是，则仍是A，是公式。

⑤若A是，其中y是不同于x的变元，则是，由归纳假设知是公式，所以是公式。

7.给定解释I和I中赋值v如下：

，，，，

，，，

计算下列公式在解释I，赋值v下的真值。

解

（1）

（2）

7.给定解释I如下：

，，

判断I是不是以下语句的模型。

（6）

解

（1）

（6）

9.写出一个语句A，使得A有模型，并且A的每个模型的论域至少有三个元素。

解语句A为。

给定解释如下。

为自然数集合，当且仅当，，，

则是A的模型，A有模型。

任取满足语句A的解释I，则，又因为，所以，，是论域中三个不同元素，论域中至少有三个元素。

10.写出一个语句A，使得A有模型，并且A的每个模型的论域有无穷多个元素。

为自然数集合，当且仅当

任取满足语句A的解释I，取，因为，所以有使得，又因为，故。

因为，所以有使得，又因为，故。

因为，所以，故。

因此，，，是论域中的三个不同元素。

这个过程可以永远进行下去，得到因此，论域中必然有无穷多个元素。

11.判断以下公式是不是永真式、永假式、可满足式，并说明理由。

（7）

解

（1）是永真式。

若解释I使得，则或。

①若，则存在使得，。

②若，则存在使得，。

因此，。

（2）是非永真的可满足式。

给定解释I如下。

则。

（3）是非永真的可满足式。

（4）是非永真的可满足式。

，

，，

（5）是非永真的可满足式。

（6）是永真式。

若解释I使得，则存在使得，因此且，且，。

（7）是永真式。

若解释I使得，则且。

存在使得，又因为，所以，。

12.设A,B是任意公式，证明以下公式是永真式。

（1）,其中项t对于A中的x是可代入的。

（6），其中x不是A的自由变元。

解

（1）任取解释I和I中赋值v，若,则，所以。

这表明是永真式。

（2）任取解释I和I中赋值v，

当且仅当

当且仅当存在使得

（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，任取，因为也是I中赋值，所以，。

是永真式。

若A是永真式，则是永真式，…，是永真式。

（）因为是永真式，所以若是永真式，则A是永真式。

（2）（）因为是永真式，所以若解释I和I中赋值v满足A，则I和v满足。

（）若解释I和I中赋值v满足，则有使得，I和I中赋值满足A。

14.判断以下等值式是否成立，并说明理由。

解

（1）不成立。

取解释I如下。

，，，，

则且。

（2）不成立。

（3）不成立。

取解释I和I中赋值v下。

，，，

（4）成立。

任取解释I和I中赋值v，因为x不是中的自由变元，所以对于每个，。

当且仅当对于每个，

当且仅当

（5）不成立。

（6）不成立。

15.设A,B是任意公式，证明以下等值式。

（1），其中y在A中不出现。

（3），其中x不是B的自由变元，y不是A的自由变元。

（4），其中x不是B的自由变元，y不是A的自由变元。

（5），其中x不是B的自由变元，y不是A的自由变元。

证明

（1）

（6）任取解释I和I中赋值v，

当且仅当有使得

16.判断以下逻辑推论关系是否成立，并说明理由。

这表明。

（4）若解释I使得，则有使得，且，，。

则且，这表明。

则，但。

所以。

17.设A,B是任意公式，证明以下结论。

（3），其中x对于A中的y是可代入的。

证明

（1）若解释I和I中赋值v使得，则有使得，，且，。

（2）若解释I和I中赋值v使得，则对于每个，，，。

（3）若解释I和I中赋值v使得，则有使得，因为，所以，，。

（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）可满足。

取解释I和I中赋值v如下。

，，，

对每个常元a，；

对每个n元函数符号f，；

对每个变元x，。

可归纳证明：

对每个项t，。

I和v满足。

（2）可满足。

为自然数集，当且仅当

则I和v满足。