- 1、本文档共18页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《电大离散数学数理逻辑部分期末复习辅导
离散数学数理逻辑部分期末复习辅导
一、单项选择题
1.设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间”符号化为( ).
A. B. C. D.
复习:P→Q表示的逻辑关系是,P是Q的充分条件,或Q是P的必要条件.因此“只要P则(就)Q”,“P仅当Q”,“只有Q才P”等,都可用复合命题P→Q表示.
解 因为语句“我有时间”是“我将去打球”的必要条件,所以选项B是正确的.记住:“P仅当Q”即表示为P→Q.
答 B
问:如果把“我将去打球”改成“我将去市里”、“我将去旅游”等,会符号化吗?
2.设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是 ( ).
A.B.C.D.?R的真值为0,要使公式G取真值为1,必需?P的真值为0,从而P的真值为1,所以选项D是正确的.
答 D
若题目改为:
设命题公式?P?(Q?R)取真值为1,则P,Q,R的赋值是 .
答 1,0,0;1,0,1;1,1,0;1,1,1;0,1,1
3.命题公式(P?Q)?R的析取范式是 ( ).
A.?(P?Q)?R B.(P?Q)?R
C.(P?Q)?R D.(?P??Q)?R
复习:
范式:
一个命题公式称为析取范式,当且仅当它具有形式:
A1?A2?…?An A1?A2?…?An), (n1)
其中A1,A2,…,An均是命题变元或其否定所组成的.对于给定的命题公式,有一个等价公式,它仅仅小项的析取组成,则该等价式称为原式的主析取范式.求命题公式的主析取范式的推演步骤首先将公式化为析取范式.将公式中的联结词化归成?,?及?.P?Q?(P?Q)?(Q?P)消去?,利用蕴含等价式P?Q ??P?Q消去?)
② 利用德摩根律将否定符号?直接移到各个命题变元之前.
利用分配律、结合律将公式归约为析取范式合取范式.除去析取范式中永假的析取项,并将析取式中重复出现的合取项和相同变元合并.
对于不是小项的合取取式,补入没有出现的命题变元,即通过合取添加P??P)((P??P))式,然后应用分配律展开公式.(4) 合并相同的小项,并将小项按编码从小到大的顺序排列,可用∑∏)表示之.
主析取范式与主合取范式的关系:
一般地,若命题公式A的主析取范式为
∑(i1, i2, …, ik)
则公式A的主合取范式为
∏(0, 1, …, i1-1, i1+1, …, ik-1, ik+1, …, 2n-1)
答 D
4.命题公式 (P?Q) 的合取范式是 ( ).
A.P?Q B.(P?Q)?(P?Q)
C.P?Q D.?(?P??Q)
答 C
5.命题公式的析取范式是( ).
A.B C.D.
答 A
注意:第3、4、5题复习了合取范式和析取范式的概念,大家一定要记住的。如果题目改为求一个变元(P或?P)命题公式的合取范式或析取范式,那么答案是什么?
6.下列等价公式成立的为( ).
A.?P??Q?P?Q
B.P?(?Q?P) ??P?(P?Q)
C.?(P?Q) ??Q?(P?Q)
D.?P??Q) ?Q
解 A.?P??Q??(P?Q)
B.P?(?Q?P)??P?(Q?P)? P?(?P?Q)??P?(P?Q)
C.?(P?Q)??Q?(P?Q)
D.?P??Q)?(?P?P)?(?P?Q)?1?(?P?Q)??P?Q
答 B
7.下列公式成立的为( ).
A.?P??Q ?P?Q B.P??Q ??P?Q
C.?P ? P D.?P??Q)?Q
解 A.?P??Q??(P?Q)
B.P??Q ??P??Q
C.?P)?P??(?Q?P)?P?(Q??P)?P?(Q?P)?(?P?P)
?(Q?P)?1?P?Q(不是永真式)
D.??(P?Q)?Q(析取三段论,P171公式(10))
或者直接推导:
?P?(P?Q)?Q
??(?P?(P?Q))?Q
?(P?(?P??Q))?Q
?((P??P)?(P??Q))?Q
?(P??Q)?Q
?P?(?Q?Q)
?P?1
?1
所以 ?P?(P?Q)?Q
答 D
8.下列公式中 ( )为永真式.
A.?A??B??A??B B.?A??B??(A?B)
C.???B?A?B D.???B ? ?(A?B)
解 由定理6.5.3有,A?B的充分必要条件是A?B为永真式(重言式)
A.,
B.,
C.
D.
答 B
9.下列公式 ( )为重言式.
A.?P??Q?P?Q
文档评论(0)