离散数学第一第二次作业
更新时间:2023-11-15 20:55:01 阅读量: 教育文库 文档下载
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
第1部分 命题逻辑
一、单项选择题
1.下列哪个语句是真命题( )。
(A) 我正在说谎 (B) 如果1+2 = 3,则雪是黑色的 (C)如果1+2 = 5,则雪是黑色的 (D)上网了吗 2.命题公式为P?(Q?P)( )。
(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为两个命题,当且仅当 时,P?Q的真值为1,当且仅当 时,P?Q的真值为0。
2.给定两个命题公式A,B,若 时,则称A和B是等值的,记为A?B。
3.任意两个不同极小项的合取为 式,全体极小项的析取式必为 式。
4.设P:天下雨,Q:我们去郊游。则
⑴命题“如果天不下雨,我们就去郊游”可符号化为 。
第1页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
⑵命题“只有天不下雨,我们才去郊游”可符号化为 。 ⑶命题“我们去郊游,仅当天不下雨”可符号化为 。
5.设命题公式G=P?(?Q?R),则使G取真值为1的指派是 , , 。
6.已知命题公式为G=(?P?Q)?R,则命题公式G的析取范式是 三、计算题
1.将下列命题符号化:
⑴ 李强不是不聪明,而是不用功; ⑵ 如果天不下雨,我们就去郊游; ⑶ 只有不下雨,我们才去郊游。
2.给出下列公式的真值表 ⑴ (P?Q?R)?P?Q??R ⑵ (?P?Q)?(Q?R)??(P??R)
第2页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
3.给P和Q指派真值1,给R和S指派真值0,试求出下列命题的真值:⑴ P?(Q?R) ⑵ (P?R)?(?Q?S)
4.判断下列命题公式的类型:
⑴ P?(P?Q?R) ⑵ (P?Q)??(P?Q)
5.化简命题公式((P?Q)?(?Q??P))?R。
第3页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
6.通过求命题公式(P?Q)?R的主合取范式,求其真值为0的真值指派。
7.试求命题公式P?Q?R的主析取范式和主合取范式。
8.观察下列推理过程是否正确;结论是否有效,说明理由。 ⑴ P?Q?R P ⑵ P?R T⑴ ⑶ P P
⑷ R T⑵,⑶
第4页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
9.判断P?(Q?R)?P?Q?R成立。(用真值表法、等值演算法和主范式法)
10.用等值演算法判定公式P??(Q?R)?P?Q?R是永真式?永假式?可满足式?
11.化简(A?B?C)?(?A?B?C)
第5页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
12.已知P,Q,F的真值表如下表。试用P,Q和联结词?,?,?构造命题公式A,使得A与F等值。
P 0 0 1 1 Q 0 1 0 1 F 0 1 1 0
13.判定公式P?Q与?P?Q是否等值. ]
第6页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
14.判断命题公式?(P?Q)?Q的类型(重言式、矛盾式或可满足式)
15.判断命题公式(R?Q)??(Q?R)的类型(重言式、矛盾式或可满足式)
16.求命题公式A?((B?A)?(?A?B))的主合取范式。
第7页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
17.求命题公式(?(Q?R)??Q)?R?P的主析取范式。
四、证明题
1.用公式法证明P?(P?Q)?Q为重言式。
2.用推理规则证明A?B,(?B?C)??C,?(?A?D)??D。
第8页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
3.构造下面推理的证明:
(1)前提 R??Q,R?S,S??Q,P?Q 结论 ?P
(2)前提 ?(P?Q)??(R?S,)(Q?P)??S,R,S 结论 P?Q
4.试证明:(P?(Q?R))?(?S?P)?Q?S?R
5.证明(A?B)?((?B?C)??C)?(A??D)??D
第9页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
第2部分 谓词逻辑
一、单项选择题
1.设L(x):x是演员,J(x):x是教师,A(x,y):x佩服y,命题“所有演员都佩服某些教师”可符号化为( )。
(A) ?xL(x)?A(x,y) (B)?x(L(x)??y(J(y)?A(x,y))) (C)?x?y(L(x)?J(y)?A(x,y)) (D)?x?y(L(x)?J(y)?A(x,y)) 2.?xA(x)?B与?xA(x)??xB是( )。
(A)等值的 (B)蕴含的 (C)重言蕴含的 (D)没关系 3.谓词公式?x(P(x)??yR(y))?Q(x)中量词?x的辖域是( )。 (A)?x(P(x)??yR(y)) (B)P(x) (C)P(x)??yR(y) (D)Q(x) 4.谓词公式?xA(x)???xA(x)的类型是( ) (A) 永真式 (B) 矛盾式
(C) 非永真式的可满足式 (D) 不属于(A),(B),(C)任何类型 5.设个体域为整数集,下列公式中其真值为1的是( ) (A) ?x?y(x?y?0) (B) ?y?x(x?y?0) (C)?x?y(x?y?0) (D) ??x?y(x?y?0)
6.设L(x):x是演员,J(x):x是老师,A(x,y):x佩服y. 那么命题“所有演员都佩服某些老师”符号化为( )
(A) ?xL(x)?A(x,y)
(B) ?x(L(x)??y(J(y)?A(x,y)) (C) ?x?y(L(x)?J(y)?A(x,y)) (D) ?x?y(L(x)?J(y)?A(x,y))
第10页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
7.在谓词演算中,P(a)是?xP(x)的有效结论,根据是 ( ) (A)US规则 (B) UG规则 (C)ES规则 (D)EG规则 二、填空题
1.命题“任意实数总能比较大小”可符号化为 。 2.公式?x(P(x)?Q(x,?y)?为 ,约束变元 。
3.公式?x(P(x)?Q(x,y))??zR(y,z)?S(x)的自由变元是 , 约束变元是 。
4.谓词逻辑公式?xP(x)??xQ(x)的前束范式是 。 5.设个体域
D={a,b},消去公式中的量词,则
中的zR(y,?)z)S自x由变元
? 。 ?xP()x??x(Q)x三、计算题
1.在谓词逻辑中,将下列命题符号化: ⑴ 有些人喜欢所有的花;
⑵ 尽管有人聪明,但未必每个人都聪明。
第11页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
2.对下面每个公式指出约束变元和自由变元:
⑴ ?x?y(P(x)?Q(y))??xR(x) ⑵ ?x?y(P(x,y)?Q(z))
3.设个体域D = {a,b,c},试将下列各式化为不含量词的形式: ⑴ ?xF(x)??xG(x) ⑵ ?x(P(x)?Q(x))
4.⑴ 已知解释I如下:个体域DI = {-2,3,6};DI中特殊元素e = 6,
P:3>2,Q(x):x?3,R(x):x>5。求?x(P?Q(x))?R(e)的真值。
⑵ 已知解释N如下:个体域DN = {2},P(x):x>3,Q(x):x = 4。求?x(P(x)?Q(x))的真值。
第12页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
5.求谓词公式?xP(x)??zQ(x,z)??zR(x,y,z)的前束范式。
6.求谓词公式?x(??yP(x,y)?(?zQ(z)?R(x)))的前束范式。
7.给定解释I为:个体域D={-2,3,5},一元谓词F(x):x≤3,x>5。求公式?x(F(x)?G(x))在解释I下的真值。
第13页(共16页)
G(x): 班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
8.给定解释I:
① D={2,3};② D中特定元素a=2;③ 函数为f(2)?3,f(3)?2; ④ 谓词F(x)为F(2)=0,F(3)=1;
G(x,y)为G(2,2)=G(2,3)=G(3,2)=0,G(3,3)=1; L(x,y)为L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0。 求在解释I下列各公式的真值。
⑴?x(F(x)?G(x,a)); ⑵?x?yL(x,y); ⑶?x(F(f(x))?G(x,f(x)))
9.求谓词公式(?xP(x,y)??yQ(x,y))??zE(x,y,z)的前束范式。
第14页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
四、证明题
1.试证明?xA(x)??xB(x)??x((A(x)?B(x))。
2.构造下面推理的证明: 前提?xP(x)??xQ(x) 结论?x(P(x)?Q(x))
3.证明?x?yP(x,y)??y?xP(x,y)是真命题。
第15页(共16页)
班别: 姓名: 学号: 评分: ★ 离散数学第一第二次作业答案 ★
4.证明:?xA(x)??xB(x)??x(A(x)?B(x))。提示:用反证法。
第16页(共16页)
正在阅读:
离散数学第一第二次作业11-15
五一劳动节主题活动总结范文五篇08-17
测控系统原理第7章习题解答11-01
AETOS艾拓思每日焦点:金银基本面利好,连续反弹05-16
知识产权法在知识经济社会中的作用12-22
点到直线的距离公式教学设计12-22
锅炉检修试题09-15
2015年潜江市中考数学试卷及答案11-26
蒙古栎移植成活技术11-30
- exercise2
- 铅锌矿详查地质设计 - 图文
- 厨余垃圾、餐厨垃圾堆肥系统设计方案
- 陈明珠开题报告
- 化工原理精选例题
- 政府形象宣传册营销案例
- 小学一至三年级语文阅读专项练习题
- 2014.民诉 期末考试 复习题
- 巅峰智业 - 做好顶层设计对建设城市的重要意义
- (三起)冀教版三年级英语上册Unit4 Lesson24练习题及答案
- 2017年实心轮胎现状及发展趋势分析(目录)
- 基于GIS的农用地定级技术研究定稿
- 2017-2022年中国医疗保健市场调查与市场前景预测报告(目录) - 图文
- 作业
- OFDM技术仿真(MATLAB代码) - 图文
- Android工程师笔试题及答案
- 生命密码联合密码
- 空间地上权若干法律问题探究
- 江苏学业水平测试《机械基础》模拟试题
- 选课走班实施方案
- 离散
- 作业
- 数学
- 中国城乡二元土地制度的特征问题与改革
- 试论“三分匠,七分主人”
- 四平同创矿用隔爆型移动变电站用低压馈电开关使用说明书 - 图文
- 火炮周视瞄准镜初步设计
- 《市政学》(本科)练习题参考答案
- 广东省湛江市2012届高三普通高考模拟测试(二,文数,word版) - 图文
- 校长安全培训学习心得
- 大爱小城图文作品
- 四年级上册科学品德与社会测试卷一 Microsoft Office Word 文档(2)- 副本
- 排水管网课程设计 - 图文
- 中国地理学会会员(山东省)
- 园林植物遗传育种学
- 《开宗明义章第一》教学设计
- 科技创新券如何申请 科技创新劵用途
- 行政法课堂笔记
- 湖南理工学院无机化学课件之复习题第二章 化学反应的一般原理1
- 水电工绩效考核评分量表
- 化工工艺学考试试卷 1
- 鲁教版语文第三册第五单元精读课《称赞》教学设计
- 正畸病历(样稿)