电大 离散数学 形成性考核册 作业(四)答案.docxVIP

离散数学形成性考核作业（四）

数理逻辑部分

本课程形成性考核作业共4次，内容由中央电大确定、统一布置。本次形考作业是第四次作业，大家要认真及时地完成数理逻辑部分的形考作业，字迹工整，抄写题目，解答题有解答过程。

第6章命题逻辑

1．判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题.

（1）8能被4整除.

（2）今天温度高吗？

（3）今天天气真好呀！

（4）6是整数当且仅当四边形有4条边.

（5）地球是行星.

（6）小王是学生，但小李是工人.

（7）除非下雨，否则他不会去.

（8）如果他不来，那么会议就不能准时开始.解：此题即是教材P.184习题6（A）1

（1）、（4）、（5）、（6）、（7）、（8）是命题，（2）、（3）不是命题。其中（1）、（5）是简单命题，（4）、（6）、（7）、（8）是复合命题。

2．翻译成命题公式

（1）他不会做此事.

（2）他去旅游，仅当他有时间.

（3）小王或小李都会解这个题.

（4）如果你来，他就不回去.

（5）没有人去看展览.

（6）他们都是学生.

（7）他没有去看电影，而是去观看了体育比赛.

（8）如果下雨，那么他就会带伞.

解：此题即是教材P.184习题6（A）2

（1）P他：会做此事。P他：不会做此事。

（2）P他：去游泳。Q他：有时间。P→Q他：去旅游仅，有时间。

（3）P小：王会解这道题。Q小：李会解这道题。PΛQ小：王或小李都会解这道题。

（4）P你：来。Q他：。P→Q如：果你来他，就不回去。

（5）P有：人去看展览。P没：有人去看展览。

（6）P他：们都是学生。

（7）P他：去看。Q他：去观看育比赛。

PΛQ他：没有去看而，是去观看育比赛。。

（8）P天：下雨。Q他：会带伞。P→Q如：果下雨那，么他就会带伞。

3．设P，Q的真值为1；R，S的真值为0，求命题公式(P□Q)□R□S□Q的真值.解：此题即是教材P.184习题6（A）4（2）

(P□Q)真值为1，(P□Q)□R真值为0，S□Q真值为0，从而(P□Q)□R□S□Q真值为0。

4．试证明如下逻辑公式

（1）7（A□7B）□（7B□C）□7C□7（A□C）

（2）(P→Q)□(Q→R)□7R□□P

（此题即是教材P.185习题6（A）5（1）、（4））前提：(AΛB),(BVC),C结论：(AVB)

证明：(1)(AΛB)P

(2)AVBT由(1)

(3)BVCP

(4)CP

(5)BT由(3)(4)

(6)AT由(2)(4)

(7)AΛBT由(5)(6)

(8)(AVB)T由(7)

前提：

结论：

证明：(1)

(2)(3)(4)(5)

(P→Q),

P

P→QQ→RP→R R

P

(Q→R),R

PP

T由(1)(2)P

T由(3)(4)

5．试求下列命题公式的主析取范式，主合取范式.

（1）（P□(Q□R)）→(P□Q)

（2）7(P→Q)□Q

（此题即是教材P.185习题6（A）6（2）、（4））解：（1）先求主析取范式

(PV(