离散数学作业
离散数学形成性考核作业4题目与答案
离散数学形成性考核作业4作业与答案
离散数学综合练习书面作业
要求:学生提交作业有以下三种方式可供选择:
1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅.
2. 在线提交word文档.
3. 自备答题纸张,将答题过程手工书写,并拍照上传.
一、公式翻译题
1.请将语句“小王去上课,小李也去上课.”翻译成命题公式.
设P:小王去上课
Q:小李去上课
则:命题公式P∧Q
2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.
设P:他去旅游
Q:他有时间
则命题公式为P→Q
3.请将语句“有人不去工作”翻译成谓词公式.
设A(x):x是人
B(x):去工作
则谓词公式为∃x(A(x)∧-B(x))
4.请将语句“所有人都努力学习.”翻译成谓词公式.
设A(x): x是人
B(x):努力学习
则谓词公式为∀x(A(x)∧B(x))
二、计算题
1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算
(1)(A-B);(2)(A∩B);(3)A×B.
解:
(1)(A-B)={{1},{2}}
(2)(A∩B)={1,2}
(3)A×B=
{<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1,
2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>}
2.设A={1,2,3,4,5},R={|x∈A,y∈A且x+y≤4},S={|x∈A,y∈A且x+y<0},试求R,S,R•S,S•R,R-1,S-1,r(S),s(R).
离散数学平时作业
第一章
1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A
和B表示ECNU不必学习离散数学的二年级的学生的集合。
解:
_
B A
2.试求:
(1)P(φ)
(2)P(P(φ))
(3)P(P(P(φ)))
(1){φ}
(2){φ,{φ}}
3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个?
能被5整除的有40个,能被15整除的有13个,
∴能被3或5整除,但不能被15整除的正整数共有66-13+40-13=80个。
第三章
1.下列语句是命题吗?
(1)2是正数吗?
(2)x2+x+1=0。
(3)我要上学。
(4)明年2月1日下雨。
(5)如果股票涨了,那么我就赚钱。
解:
(1)不是
(2)不是
(3)不是
(4)是
(5)是
2.请用自然语言表达命题(p⌝→r)∨(q⌝→r),其中p、q、r为如下命题:
p:你得流感了
q:你错过了最后的考试
r:这门课你通过了
解:
(1)如果你得流感了,你就不能通过这门课;或者你错过了最后的考试,你也不能通过这门课。
(2)如果你得流感了并且错过了最后的考试,那么你就不能通过这门课。
3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。
解:
主析取范式:(→p∧q)∨(→p∧→q)∨(p∧→q)∨(p∧q)
主合取范式不存在
4.给出p→(q→s),q,p∨⌝r⇒r→s的形式证明。
证明:
(1)p∨⌝r前提引入
(2)R附加前提引入
(3)P (1)(2)析取三段
(4)p→(q→s) 前提引入
(5)q→s (3)(4)假言推理
(6)Q 前提引入
离散数学第1次作业参考答案
(1)原子命题符号化:
q: 3是无理数;r: 是无理数;s: 6能被2整除,t: 6能被4整除.
(2)整个论述符号化为:
Leabharlann Baidu(3)真值:1
4 (共30分,每题15分)求下列公式的主析取范式和主合取范式,并判断公式的类型(用等值演算法)
(1) ;
(2)
4解:
(1)
主析取范式
主合取范式:
(2)
主析取范式为:
5解:设p:王小红为班长,q:李强为生活委员,r:丁金为班长,s:王小红为生活委员,t:李强为班长,u:王小红为学习委员.
甲对一半:
乙对一半:
丙对一半: ,
根据题意,只需要求出下列公式的成真赋值:
,
根据已知条件, , , , ,并且根据已知有三位同学入围,因此, , , 。
所以,归结为 的成真赋值,可得李强为生活委员,丁金为班长,王小红为学习委员。
5 (20分)在某班班委成员的选举中,已知王小红、李强、丁金生三位同学被选进了班委会。该班的甲,乙,丙三名同学预言如下:
甲说:王小红为班长,李强为生活委员。
乙说:丁金生为班长,王小红为生活委员。
丙说:李强为班长,王小红为学习委员。
班委分工名单公布后发现,甲、乙、丙三人都恰好猜对了一半。
问:王小红、李强、丁金生各任何职(用等值演算法求解)?
离散数学(本)-国家开放大学电大学习网形考作业题目答案
离散数学(本)
一、单项选择题
1.集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x,y>|x+y=10且x, yA},则R的性质为().
A.自反的
B.对称的
C.传递且对称的
D.反自反且传递的
正确答案: B
2.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个.
A.0
B.2
C.1
D.3
正确答案: B
3.设集合A={1, 2, 3},B={3, 4, 5},C={5, 6, 7},则A∪B–C =( ).
A.{1, 2, 3, 4}
B.{1, 2, 3, 5}
C.{2, 3, 4, 5}
D.{4, 5, 6, 7}
正确答案: A
4.若集合A={ a,{a},{1,2}},则下列表述正确的是().
A.{a,{a}}A
B.{1,2}A
C.{a}A
D.A
正确答案: C
5.若集合A的元素个数为10,则其幂集的元素个数为().
A.1024
B.10
C.100
D.1
正确答案: A
6.设函数f:N→N,f(n)=n+1,下列表述正确的是().
A.f存在反函数
B.f是双射的
C.f是满射的
D.f是单射函数
正确答案: D
7.设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如图所示,若A的子集B = {3, 4, 5},则元素3为B的().
A.下界
B.最小上界
C.最大下界
D.最小元
正确答案: B
8.设集合A={1,2,3,4,5},偏序关系是A上的整除关系,则偏序集<A,>上的元素5是
集合A的().
A.最大元
B.最小元
离散数学第一第二次作业
第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:我们去郊游。则
⑴命题“如果天不下雨,我们就去郊游”可符号化为。
⑵命题“只有天不下雨,我们才去郊游”可符号化为。
⑶命题“我们去郊游,仅当天不下雨”可符号化为 。
5.设命题公式G =P ∧(⌝Q ∨R ),则使G 取真值为1的指派是 , , 。
6.已知命题公式为G =(⌝P ∧Q )→R ,则命题公式G 的析取范式是
三、计算题
1.将下列命题符号化:
⑴ 李强不是不聪明,而是不用功;
⑵ 如果天不下雨,我们就去郊游;
离散数学作业答案一
离散数学作业7
离散数学数理逻辑部分形成性考核书面作业
本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。
要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。
一、填空题
1.命题公式()P Q P →∨的真值是 T 或1 .
2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如
果他生病或出差了,我就同意他不参加学习”符号化的结果为 (P ∨Q)→R .
3.含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式是 )()(R Q P R Q P ⌝∧∧∨∧∧ .
4.设P (x ):x 是人,Q (x ):x 去上课,则命题“有人去上课.” 可符号化为 ))()((x Q x P x ∧∃ .
5.设个体域D ={a , b },那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为 ))()(())()((b B a B b A a A ∧∨∨ .
6.设个体域D ={1, 2, 3},A (x )为“x 大于3”,则谓词公式(∃x )A (x ) 的真值为 F 或0 .
华师 离散数学 作业
1、
足球:|A|=28 篮球:|B|=29 排球:|C|=26 |A∩B|=7
|B∩C|=9 |A∩C|=11
|A|+|B|+|C|-|A∩B|-|B∩C|-|A∩C|+|A∩B∩C|=|A∪B∪C|=60
|A∩B∩C|=60-28-29-26+7+9+11=4 即:三项比赛都参加的有4人。
2、
这个很容易,但是需要话一个图,有4个二度节点,树叶有5片,所以一个三度节点都木有。
要算也简单,叶子数=总度数-节点数+1 设:三度节点个数为x
即:2*4+x*3-4-x+1=5
解得x=0
∴一个三度节点都木有
3、B∪~((~A∪B)∩A)=B∪~((~A∩A)∪(B∩A))=B∪~(B∩A)=B∪(~B∪~A)=B∪~B∪~A=U∪~B=U
4、
证明:如果x,y∈Z,则x☉y=x+y-2 ∈Z
∴<Z,☉>是封闭的。
对于任意x,y,z∈Z
(x☉y)☉z=(x+y-2)+z-2=x+(y+z-2)-2=x+(y☉z)-2=x☉(y☉z)
∴<Z,☉>是可结合的。
对于任意x∈Z
x☉2=x+2-2=x
2☉x=2+x-2=x
∴2是<Z,☉>的幺元
x☉(4-x)=x+(4-x)-2=2=幺元
所以4-x是x的幺元
综上所述:<Z,☉>是群
5、证明:(P→Q)∧(Q→P)<=>(﹁P∨Q)∧(﹁Q∨P)<=>((﹁P∨Q)∧﹁Q)∨((﹁P∨Q)∧P)<=>
((﹁P∧﹁Q)∨(Q∧﹁Q))∨((﹁P∧P)∨(Q∧P))<=>(﹁P∧﹁Q)∨(Q∧P)<=>
离散数学作业册
离散数学作业册
第一章命题逻辑
1.1 命题与逻辑联结词
1.判断下列语句是否是命题,不是划“×”,是划“√”,且指出它的真值.
(1)所有的素数都是奇数. ( ) 其真值( )
(2)明天有离散数学课吗? ( ) 其真值( )
(3)326
+>. ( ) 其真值( )
(4)实践出真知. ( ) 其真值( )
(5)这朵花真好看呀! ( ) 其真值( )
(6)5
x=. ( ) 其真值( )
(7)太阳系外有宇宙人. ( ) 其真值( )
2.将下列命题符号化.
(1)如果天下雨,那么我不去图书馆.
(2)若地球上没有水和空气,则人类无法生存.
(3)我们不能既划船又跑步.
(4)大雁北回,春天来了.
3.将下列复合命题分解成若干个原子命题,并找出适当的联结词.
(1)天下雨,那么我不去图书馆.
(2)若地球上没有水和空气,则人类无法生存.
1.2 命题公式
1. 判断下列各式是否是命题公式,不是的划“×”,是的划“√”.
(1)(Q→R∧S). ( )
(2)((R→(Q→R)→(P→Q)). ( )
(3) (P∨QR)→S. ( )
(4)((?P→Q)→(Q→P)). ( )
2.写出五个常用命题联结词的真值表.
1.3 真值表与等价公式1.指出下列命题的成真赋值与成假赋值.
(1)?(P∨?Q).
(2)?P→(Q→P).
2.构造真值表,判断下列公式的类型.
(1)(P∧Q)∧?(P∨Q).
(2) P→(P∧┑Q))∨R.
3.用等值演算法验证下列各等价式.
(1) ((P→Q)∧(Q→R))→(P→R)?T.
(2)P→(Q∧R)?(P→Q)∧(P→R).
离散数学作业
-离散数学 专业班级 学号 姓名 第一章 命题逻辑的基本概念
一、单项选择题
1.下列语句中不是命题的有( ).
A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗?D.我要努力学习。
2. 下列语句是真命题为( ).
A. 1+2=5当且仅当2是偶数
B. 如果1+2=3,则2是奇数
C. 如果1+2=5,则2是奇数
D. 你上网了吗?
3. 设命题公式)(r q p
∧→⌝,则使公式取真值为1的p ,q ,r 赋值分别是
( ) 0,0,1)D (0,1,0)C (1,0,0)B (0
,0,0)A ( 4. 命题公式q q p →∨)(为 ( )
(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式
5. 设p:我将去市里,q :我有时间.
命题“我将去市里,仅当我有时间时”符号化为为( )
q p q p q p p q ⌝∨⌝↔→→)D ()C ()B ()A (6.设P :我听课,Q :我看小说. “我不能一边听课,一边看小说”的符号为( )
A. Q P ⌝→ ;
B. Q P →⌝;
C. P Q ⌝∧⌝ ;
D. )(Q P ∧⌝
二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化
(1)中国有四大发明。
(2)2是有理数。
(3)“请进!”
(4)刘红和魏新是同学。
(5)a+b
(6)如果买不到飞机票,我哪儿也不去。
(8)侈而惰者贫,而力而俭者富。(韩非:《韩非子∙显学》)
(9)火星上有生命。
(10)这朵玫瑰花多美丽啊!
二、将下列命题符号化,其中p:2<1,q:3<2
离散数学习题整合
§1.2 1. 命题判断(每空1分,共4分)1.1-1.3 P32-
A 小李和小王是同班同学
B 小猪不是鲜花
C 3-2n<0
D 若2+2=4,则太阳从
西方升起。
上述语句中,—是简单命题,—不是命题,—是符合命题且真值为假,_是符 合命题且真值为真。(参考答案:ACDB )
2. 命题符号化(每空2分,共4分)习题1.5(7)(3) P32-
P :天下人雨,q :他乘公共汽车去上班,命题“除非天下大雨,否则他不乘公共汽车去 上
班”可符号化为—o (参考答案:q-p 必要条件为后件)
r :天很冷,s :老李来了,命题“虽然天很冷,老李还是来了”可符号化为_,(参 考答案rAs )
3. 五个真值表(每空2分,共4分)习题1.6(2)(4) P32-
设P 的真值为0, r 的真值为1, q 、s 都是命题,则命题公式(3 o r )人Jq v s )的真 值为 _______ ,命题公式-> 3 v (q Cr 人「p 〉))t Cr v 「s )的真值为 ______ 。(参考答案:0,1)
4. 用符号p 、q 填空。(每空1分,共4分)朕本概念
设p : x>0 (其中x 是整数),q :太阳从西方升起,则_是命题,_是命题变项, 是命题常项,_不是命题。(参考答案:q ,p, q, p )
5. 命题符号化,相容或与排斥或
设r :现在小李在图书馆,s :现在小李在学生宿舍,则“现在小李在图书馆或学生宿舍” 可符号化为—。(参考答案:B )
A rVs
B (rA-'sJV ("YAs )
苏XI友离散数学作业(13篇)
作业3
P34取-1范.式12、求成下真列赋命值题、公成式假的赋主值析. 取范式、主合
(3) ¬ (p→q)∧q∧r. M0∧M1∧…∧M7
解. ¬ (p→q)∧q∧r
∏(0,1,2,…,7).
¬ (¬ p∨q)∧q∧r (p∧¬ q)∧q∧r
由公式的主析取范式 知,公式为矛盾式,从而,
p∧(¬ q∧q)∧r 公式无成真赋值,所有赋
*北京林业大学信息学院 苏喜友
作业6
P55-2.15 求下列各式的前束范式, 要求使用自 由变项换名规则.
(2)∃x(F(x)∧∀yG(x,y,z))→∃zH(x,y,z) 解.∃x(F(x)∧∀yG(x,y,z))→∃zH(x,y,z)
∃x(F(x)∧∀yG(x,y,u))→∃zH(v,w,z) ∃x∀y(F(x)∧G(x,y,u))→∃zH(v,w,z) ∀x∃y((F(x)∧G(x,y,u))→∃zH(v,w,z)) ∀x∃y∃z((F(x)∧G(x,y,u))→H(v,w,z)).
作业1
(6)只有天下大雨,他才乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或¬ p→¬ q. (7)除非天下大雨,否则他不乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或¬ ¬ q→p,¬ p→¬ q. (8)不经一事,不长一智. 设p:经一事,q:长一智. 符号化为:¬ p→¬ q,或q→p.
离散数学一三四作业答案
离散数学形成性考核作业参考答案
作业一
第1章 集合及其运算
1.用列举法表示 “大于2而小于等于9的整数” 集合.
{3,4,5,6,7,8,9}。
2.用描述法表示 “小于5的非负整数集合” 集合.
{x ∣x ∈Z ∧0≤x ≤5}。
3.写出集合B ={1, {2, 3 }}的全部子集.
{ },{1},{{2, 3 }},{1, {2, 3 }}。
4.求集合A ={∅∅,{}}的幂集.
Φ,{Φ},{{Φ}},{Φ,{Φ}}。
5.设集合A ={{a }, a },命题:{a }⊆P (A ) 是否正确,说明理由.
错误。 P(A)中无元素a 。
6.设A B C ==={,,},{,,},{,,},123135246求
(1)A B ⋂ (2)A B C ⋃⋃
(3)C - A (4)A B ⊕
(1){3};(2){1,2,3,4,5,6};(3){4,6};(4){2,5}。
7.化简集合表示式:((A ⋃B )⋂B ) - A ⋃B .
((A ∪B )∩ B) - A ∪B =( B - A )∪B = (B ∩~ A )∪B = B 。
8.设A , B , C 是三个任意集合,试证: A - (B ⋃C ) = (A - B ) - C .
A -(
B ∪C) = A ∩~(B ∪C) = A ∩~B ∩~
C = (A - B)–C 。
9.填写集合{4, 9 }⊂{9, 10, 4}之间的关系.
10.设集合A = {2, a , {3}, 4},那么下列命题中错误的是( A ).
A .{a }∈A
离散数学第一次作业——参考答案
离散数学第一次作业——参考答案
(总2页)
--本页仅作为文档封面,使用时请直接删除即可--
--内页可以根据需求调整合适字体及大小--
4.用等值演算法证明下面等值式:
(2)(p→q)∧(p→r)⇔(p→(q∧r))
(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)
证明(2)(p→q)∧(p→r)
⇔ (⌝p∨q)∧(⌝p∨r)
⇔⌝p∨(q∧r))
⇔p→(q∧r)
(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)) ⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)
⇔1∧(p∨q)∧⌝(p∧q)∧1
⇔(p∨q)∧⌝(p∧q)
14.在自然推理系统P中构造下面推理的证明:
(4)前提:q→p,q↔s,s↔t,t∧r
结论:p∧q
证明:
②t∧r 前提引入
②t ①化简律
③q↔s 前提引入
④s↔t 前提引入
⑤q↔t ③④等价三段论
⑥(q→t)∧(t→q) ⑤置换
⑦(t→q)⑥化简
⑧q ②⑥假言推理
⑨q→p 前提引入
⑩p ⑧⑨假言推理
○11p∧q ⑧⑩合取
P59. 18. 在自然推理系统P中构造下面推理证明
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是周末颐和园游人太多,所
以我们去圆明园玩。
证明:设p:今天是星期六,q:我们到颐和园玩,r:我们到圆明园玩,s:颐和园游人太多
前提:p → (q∨r), s →⌝q ,p ,s
结论:r
推理:①s →⌝q 前提引入
②s 前提引入
③⌝q ①②假言推理
④ p 前提引入
华师在线离散数学作业
作业
1.第1题
您的答案:答:利用集合设集合A,B,C分别表示从1到200的整数中能被2,3,5整除的整数集,则从1到200的整数中能被2整除的集合含有200/2=100,也即集合A中有100个元素;从1到200的整数中能被3整除的集合含有200/3=66.67,也即集合B中有66个元素;从1到200的整数中能被5整除的集合含有200/5=40,也即集合C中有40个元素;从1到200的整数中能被2,3整除的集合含有200/(2*3)=33.33,也即集合AB(表示集合A与B的交集)中有33个元素;从1到200的整数中能被2,5整除的集合含有200/(2*5)=20,也即集合AC(表示集合A与C的交集)中有20个元素;从1到200的整数中能被3,5整除的集合含有200/(3*5)=13.33,也即集合BC(表示集合B与C的交集)中有13个元素;从1到200的整数中能被2,3,5整除的集合含有200/(2*3*5)=6.67,也即集合ABC(表示集合A、B、C的交集)中有6个元素;所以,从1到200的整数中能被2,3,5中任意一个数整除的整数个数为
A+B+C-AB-AC-BC+ABC=100+66+40-33-20-13+6=146
题目分数:30
此题得分:20.0
2.第2题
您的答案:答:设3度结点的个数为x,则 1*5+4*2+3+x=2(5+4+x-1) 解此方程得 x=3
题目分数:10
此题得分:10.0
3.第3题
您的答案:答:A-(B∪C)=(A-B)∩(A-C) =A∩2(B∪C) =A∩(2B∩2C) =A∩2B∩A∩2C (补一个A等式
离散数学形成性考核作业4题目与答案
离散数学形成性考核作业4作业与答案
离散数学综合练习书面作业
要求:学生提交作业有以下三种方式可供选择:
1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅.
2. 在线提交word文档.
3. 自备答题纸张,将答题过程手工书写,并拍照上传.
一、公式翻译题
1.请将语句“小王去上课,小李也去上课.”翻译成命题公式.
设P:小王去上课
Q:小李去上课
则:命题公式P∧Q
2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.
设P:他去旅游
Q:他有时间
则命题公式为P→Q
3.请将语句“有人不去工作”翻译成谓词公式.
设A(x):x是人
B(x):去工作
则谓词公式为∃x(A(x)∧-B(x))
4.请将语句“所有人都努力学习.”翻译成谓词公式.
设A(x): x是人
B(x):努力学习
则谓词公式为∀x(A(x)∧B(x))
二、计算题
1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算
(1)(A-B);(2)(A∩B);(3)A×B.
解:
(1)(A-B)={{1},{2}}
(2)(A∩B)={1,2}
(3)A×B=
{<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1,
2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>}
西南大学《离散数学》网上作业题及答案
[0004]《离散数学》网上作业题答案
第1次作业
[论述题]第1次作业
一、填空题
1. 设|A | = 5, |B | = 2, 则可定义A 到B 的函数( )个,其中有( )单射,( )个满射.
2. 令G (x ): x 是金子,F (x ): x 是闪光的,则命题“金子都是闪光的,但闪光的未必是金子”符号化为( ).
3. 设X 是非空集合,则X 的幂集P (X )关于集合的⋃运算的单位元是( ),零元是( ),P (X )关于集合的⋂运算的单位元是( ).
4. 6阶非Abel 群的2阶子群共有( )个,3阶子群共有( )个,4阶子群共有( )个.
5. 对于n 阶完全无向图K n , 当n 为( )时是Euler 图,当n ≥ ( )时是Hamilton 图,当n ( )时是平面图.
二、单选题
1. 幂集P (P (P (∅))) 为( )
(A){{∅}, {∅, {∅}}}. (B){∅, {∅, {∅}}, {∅}}. (C){ ∅, {∅, {∅}}, {{∅}}, {∅}} (D){ ∅, {∅, {∅}}}. 2. 设R 是集合A 上的偏序关系,则1
-⋃R R 是( ).
(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上答案都不对 3. 下列( )组命题公式是不等值的.
(A))(B A →⌝与B A ⌝∧. (B) )(B A ↔⌝与)()(B A B A ∧⌝∨⌝∧. (C))(C B A ∨→与C B A →⌝∧)(. (D))(C B A ∨→与)(C B A ∨∧⌝. 4.下列代数结构(G , *)中,( )是群.
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
命题逻辑的基本概念
一、单项选择题
1.下列语句中不是命题的有( ).
A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗D.我要努力学习。
2. 下列语句是真命题为( ).
A. 1+2=5当且仅当2是偶数
B. 如果1+2=3,则2是奇数
C. 如果1+2=5,则2是奇数
D. 你上网了吗
3. 设命题公式)(r q p
∧→⌝,则使公式取真值为1的p ,q ,r 赋值分别是
( ) 0,0,1)D (0,1,0)C (1,0,0)B (0
,0,0)A ( 4. 命题公式q q p →∨)(为 ( )
(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式
5. 设p:我将去市里,q :我有时间.
命题“我将去市里,仅当我有时间时”符号化为为( )
q
p q p q p p q ⌝∨⌝↔→→)D ()C ()B ()A (6.设P :我听课,Q :我看小说. “我不能一边听课,一边看小说”的符号为( )
A. Q P ⌝→ ;
B. Q P →⌝;
C. P Q ⌝∧⌝ ;
D. )(Q P ∧⌝
二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化
(1)中国有四大发明。
(2)2是有理数。
(3)“请进!”
(4)刘红和魏新是同学。
(5)a+b
(6)如果买不到飞机票,我哪儿也不去。
(8)侈而惰者贫,而力而俭者富。(韩非:《韩非子显学》)
(9)火星上有生命。
(10)这朵玫瑰花多美丽啊!
二、将下列命题符号化,其中p:2<1,q:3<2
(1)只要2<1,就有3<2。
(2)如果2<1,则32。
(3)只有2<1,才有32。
(4)除非2<1,才有32。
(5)除非2<1,否则32。
(6)2<1仅当3<2。
三、将下列命题符号化
(1)小丽只能从筐里拿一个苹果或一个梨。
(2)王栋生于1992年或1993年。
四、设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。(1)p∨(q∧r)
(2)(p↔r)∧(﹁q∨s)
(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r)
(4)(⌝r∧s)→(p∧⌝q)
五、用真值表判断下列公式的类型:
(1) p∧(p→q)∧(p→⌝q)
(2) (p∧r) ↔(⌝p∧⌝q)
(2)((p→q) ∧(q→r)) →(p→r)
命题逻辑等值演算
一、填空
(1)给定两个命题公式A,B,若,则称A和B时等值的,记作A B.
(2)德摩根律为:。(3)蕴涵等值式为。(4)由已知的等值式推演出另外一些等值式的过程称为。
二、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.
(1) ⌝(p∧q→q)
(2)(p→(p∨q))∨(p→r)
(3)(p∨q)→(p∧r)
三、用等值演算法证明下面等值式
(1)(p→q)∧(p→r)⇔(p→(q∧r))
(2)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)
三、用等值演算求下列公式的析取范式与合取范式。
(1)(⌝p→q)→(⌝q∨p)
(2)⌝(p→q)∧q∧r
(3)(p∨(q∧r))→(p∨q∨r)
命题逻辑的推理理论
填空
1.数理逻辑的的主要任务是。推理是指,前提是,结论是。
2.推理正确是指:
3.命题公式A1,A,2,,A,k推B的推理正确当且仅当
二、先把下列命题符号化,再写出前提、结论、推理的形式结构,然后用真值表法、等值演算法证明下列推理是正确的。
若今天是星期一,则明天是星期三。明天不是星期三,所以今天不是星期一。自然推理系统下用直接法或用附加前提法或用归谬法构造推理证明
(1)前提:p→q,⌝(q∧r),r 结论:⌝p
(2)前提:q→p,q↔s,s↔t,t∧r 结论:p∧q
(3)前提:p→(q→r),s→p,q (4)前提:p→⌝q,⌝r∨q,r∧⌝s 结论:s→r 结论:⌝p
在自然推理系统下构造下列推理的证明
1.如果我学习,那么我数学不会不及格。如果不热衷于玩游戏,那么我将学习。
但我数学不及格。因此我热衷于玩游戏。
2.只要A曾到过受害者房间并且11点以前没离开,A就是谋杀嫌犯。A曾到过受害者房间。如果A在11点以前离开,看门人就会看见他。看门人没看见他。所以A是谋杀嫌犯。
第五章
一、1.设个体域D是正整数集合,确定下列命题为真的是()
A.x y (xy=y) B. x y(x+y=y)
C. x y(x+y=x)
D. x y(y=2x)
2. 设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式x(P(x)Q(x))在哪个个体域中为真( )
A.自然数
B. 实数
C.复数
D. (1)--(3)均成立
3.令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为
二、在一阶逻辑中将下列命题符号化:
(1) 没有不能表示成分数的有理数。
(2) 在北京卖菜的人不全是外地人。
(3)乌鸦都是黑的。
(4)有的人天天锻炼身体。
三、设个体域D={a,b,c},消去下列各式的量词
(1) x y(F(x) ∧G(y))
(2) x y(F(x) ∨G(y))
(3) x F(x) →y G(y)
四、设个体域D={1,2,3,4},F(x):x是2的倍数,G(x):x是奇数。
将命题x (F(x) → G(y))中的量词消去,并讨论命题的真值。