华东师范大学离散数学章炯民课后习题第4-5章答案.docVIP

PAGE4

P59

1（1）.用谓词公式表达语句“所有的运动员都钦佩某些教练”，个体域为全总个体域。

解：

P(x):x是运动员，G(y):y是教练，R(x,y):x钦佩y。原题量词表达为：

x(P(x)??y(R(x,y)ùG(y)))

此题错误较多：1.x?yR(P(x),G(y))2.x?y(P(x)ùG(y)?R(x,y))3.R(x):x钦佩某些教练

3.将x(C(x)ú$y(C(y)ùF(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y)表示x和y是同班同学，个体域是学校全体学生的集合。

解：

学校的全体学生要么自己有电脑，要么其同班同学有电脑。

80%能正确解释。

5.给定解释I如下：

个体域D：{-2,3,6}；

个体常元a：6；

谓词P：21，Q(x)：x￡3，R(x)：x5。

求出谓词公式x(P?Q(x))úR(a)在解释I下的真值。

解：

R(a)总为1,故

x(P?Q(x))úR(a)为x(P?Q(x))ú1＝1

都能做对最后答案。有的学生将D的每个元素代入求得，有的学生做法如上。

9（2）.指出谓词公式xy(P(x,y)úQ(y,z))ù$xR(x,y)的指导变元、量词的辖域、约束变元和自由变元。

解：

第一个x是指导变元，相应的辖域是y(P(x,y)úQ(y,z))；第二、四个x是约束变元；第三个x是指导变元，相应的辖域是R(x,y)；

第一个y是指导变元，相应的辖域是：(P(x,y)úQ(y,z))；第二，三个y是约束变元；第四个y是自由变元；

第一个z是自由变元。

即：

指导变元：第一个x，第三个x，第一个y

辖域：y(P(x,y)úQ(y,z))，R(x,y)，(P(x,y)úQ(y,z))

约束变元：第二个x，第四个x，第二个y，第三个y

自由变元：第四个y，第一个z

约一半学生错在第一个X为指导变元时的辖域，错写为(P(x,y)úQ(y,z))，其余的正确。

10（1）.求谓词公式xy(P(x,y)?Q(x,y))?$xyR(x,y)的前束范式。

解：

xy(P(x,y)?Q(x,y))?$xyR(x,y)=xy(P(x,y)?Q(x,y))?$uvR(u,v)

=xy(?P(x,y)úQ(x,y)ù(?Q(x,y)úP(x,y))?$uvR(u,v)

=$x$y(((P(x,y)ù?Q(x,y))ú(Q(x,y)ù?P(x,y))ú$uvR(u,v))

=$x$y$uv((P(x,y)ù?Q(x,y))ú(Q(x,y)ù?P(x,y))úR(u,v))

三分之一的学生出错。1.?不化简2.没有改变相同的量词，并将相同的量词合并。3.计算错误。

11.构造x(P(x)úQ(x)),x(Q(x)??R(x)),xR(x)TxP(x)的形式证明。

解：

①xR(x)前提引入

②R(e)①US规则

③x(Q(x)??R(x))前提引入

④Q(e)??R(e)③US规则

⑤?Q(e)②④析取三段论

⑥x(P(x)úQ(x))前提引入

P(e)úQ(e)⑥US规则

P(e)⑤⑦析取三段论

x(P(x))⑧EG规则

此题出错较多：1.误用量词的推理规则，如①xR(x)前提引入②R(x)①US规则2.形式证明的格式不规范

15.证明下面的推理：

“每个科研工作者都是努力工作的。每个努力工作而又聪明的人都取得事业的成功。某个人是科研工作者并且聪明。所以，某人事业取得成功。”

解：

命题符号化，个体域为人。

定义谓词P(x):x是科研工作者，Q(x):x努力工作，R(x):x是聪明的人，M(x):x事业取得成功.

前提：x(P(x)?Q(x)),x((Q(x)ùR(x))?M(x)),?x(P(x)ùR(x))

结论:?xM(x)

构造形式证明

?x(P(x)ùR(x))前提引入

P(a)ùR(a)①ES规则

P(a)②化简规则

x(P(x)?Q(x))前提引入

P(a)?Q(a)④US规则

Q(a)