- 1、本文档共16页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学第一第二次作业教程
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
第 PAGE 16页(共 NUMPAGES 16页)
第1部分 命题逻辑
一、单项选择题
1.下列哪个语句是真命题( )。
(A) 我正在说谎 (B) 如果1+2 = 3,则雪是黑色的
(C)如果1+2 = 5,则雪是黑色的 (D)上网了吗
2.命题公式为( )。
(A)重言式 (B) 可满足式 (C)矛盾式 (D)等值式
3.设命题公式P?(Q??P),记作G,则使G的真值指派为1的P,Q的取值是( )。
(A) (0,0) (B) (0,1) (C) (1,0) (D) (1,1)
4.与命题公式P?(Q?R)等值的公式是( )。
(A)(P?Q)?R (B)(P?Q)?R (C)(P?Q)?R (D)P?(Q?R)
5.命题公式(P?Q)?P是( )。
(A) 永真式 (B) 永假式 (C) 可满足式 (D) 合取范式
二、填空题
1.P,Q为两个命题,当且仅当 时,的真值为1,当且仅当 时,的真值为0。
2.给定两个命题公式A,B,若 时,则称A和B是等值的,记为。
3.任意两个不同极小项的合取为 式,全体极小项的析取式必为 式。
4.设P:天下雨,Q:我们去郊游。则
⑴命题“如果天不下雨,我们就去郊游”可符号化为 。
⑵命题“只有天不下雨,我们才去郊游”可符号化为 。
⑶命题“我们去郊游,仅当天不下雨”可符号化为 。
5.设命题公式G=P?(?Q?R),则使G取真值为1的指派是 , , 。
6.已知命题公式为G=(?P?Q)?R,则命题公式G的析取范式是
三、计算题
1.将下列命题符号化:
⑴ 李强不是不聪明,而是不用功;
⑵ 如果天不下雨,我们就去郊游;
⑶ 只有不下雨,我们才去郊游。
2.给出下列公式的真值表
⑴
⑵
3.给P和Q指派真值1,给R和S指派真值0,试求出下列命题的真值:⑴ ⑵
4.判断下列命题公式的类型:
⑴ ⑵
5.化简命题公式。
6.通过求命题公式的主合取范式,求其真值为0的真值指派。
7.试求命题公式的主析取范式和主合取范式。
8.观察下列推理过程是否正确;结论是否有效,说明理由。
⑴ P
⑵ T⑴
⑶ P P
⑷ R T⑵,⑶
9.判断P?(Q?R)?P?Q?R成立。(用真值表法、等值演算法和主范式法)
10.用等值演算法判定公式P??(Q?R)?P?Q?R是永真式?永假式?可满足式?
11.化简(A?B?C)?(?A?B?C)
12.已知P,Q,F的真值表如下表。试用P,Q和联结词?,?,?构造命题公式A,使得A与F等值。
PQF000011101110
13.判定公式P?Q与?P?Q是否等值.
]
14.判断命题公式的类型(重言式、矛盾式或可满足式)
15.判断命题公式的类型(重言式、矛盾式或可满足式)
16.求命题公式的主合取范式。
17.求命题公式的主析取范式。
四、证明题
1.用公式法证明为重言式。
2.用推理规则证明,,。
3.构造下面推理的证明:
(1)前提 ,,,
结论
(2)前提 ,,,
结论
4.试证明:
5.证明
第2部分 谓词逻辑
一、单项选择题
1.设L(x):x是演员,J(x):x是教师,A(x,y):x佩服y,命题“所有演员都佩服某些教师”可符号化为( )。
(A) (B)
(C) (D)
2.与是( )。
(A)等值的 (B)蕴含的 (C)重言蕴含的 (D)没关系
3.谓词公式中量词?x的辖域是( )。
(A) (B)P(x) (C) (D)
4.谓词公式xA(x)?xA(x)的类型是( )
(A) 永真式 (B) 矛盾式
(C) 非永真式的可满足式 (D) 不属于(A),(B),(C)任何类型
5.设个体域为整数集,下列公式中其真值为1的是( )
(A) (B)
(C)
您可能关注的文档
- 福州市2015-2016学年第一学期高三物理适应性练习卷A卷教程.doc
- 无尘自动环保黑板.ppt
- 无菌纸基复合包装.pptx
- 新课标人教 地理选修五【2.2中国的地害】.ppt
- 福师《计算机应用基础》在线作业一教程.doc
- 无湘不成军——辛亥革命中的湖南常德人.doc
- 福建2016年教师职称考试材料汇总教程.doc
- 福师《语言学概论》模拟题教程.doc
- 福建八县一中2015-2016年高三物理期中联考试卷及答案教程.doc
- 日升昌人员素质测评举措.ppt
- 2023-2024学年广东省深圳市龙岗区高二(上)期末物理试卷(含答案).pdf
- 2023-2024学年贵州省贵阳市普通中学高一(下)期末物理试卷(含答案).pdf
- 21.《大自然的声音》课件(共45张PPT).pptx
- 2023年江西省吉安市吉安县小升初数学试卷(含答案).pdf
- 2024-2025学年广东省清远市九校联考高一(上)期中物理试卷(含答案).pdf
- 广东省珠海市六校联考2024-2025学年高二上学期11月期中考试语文试题.pdf
- 2024-2025学年语文六年级上册第4单元-单元素养测试(含答案).pdf
- 2024-2025学年重庆八中高三(上)月考物理试卷(10月份)(含答案).pdf
- 安徽省安庆市潜山市北片学校联考2024-2025学年七年级上学期期中生物学试题(含答案).pdf
- 贵州省部分校2024-2025学年九年级上学期期中联考数学试题(含答案).pdf
文档评论(0)