离散数学第一次作业——参考答案
最新国家开放大学电大《离散数学》形考任务1试题及答案
最新国家开放大学电大《离散数学》形考任务1试题及答案最新国家开放大学电大《离散数学》形考任务1试题及答.形考任务1（集合论部分概念及性质）单项选择.题目.若集合A＝.a, {a}, {1, 2}}, 则下列表述正确的是（）.选择一项:A.{a, {a}}.B..C.{1, 2..D.{a..题目.设函数f: N→N, f(n)=n+1, 下列表述正确的是.）.选择一项: A.f是满射.B.f存在反函.C.f是单射函.D.f是双射.题目.设集合A={1, 2, 3, 4, 5}, 偏序关系是A上的整除关系, 则偏序集<A, >上的元素5是集合A的.）.选择一项:A.极小.B.极大.C.最大.D.最小.题目.设A={a, b}, B={1, 2}, C={4, 5}, 从A到B的函数f={<a,1>.<b, 2>}, 从B到C的函数g={<1, 5>.<2, 4>}, 则下列表述正确的是.）.选择一项:A.g..={<a, 5>.<b, 4>.B.g..={<5, .>.<4, .>.C.f°.={<5, .>.<4, .>.D.f°.={<a, 5>.<b, 4>.题目.集合A={1.2.3.4}上的关系R={<x, y>|x=y且x.yA}, 则R的性质为.）.选择一项:A.传递.B.不是对称.C.反自.D.不是自反.题目.设集合..{1..}, 则P(A...).选择一项:A.{{1}.{a}.{1..}.B.{{1}.{a}.C.{,{1}.{a}.D.{,{1}.{a}.{1..}.题目.若集合A={1, 2}, B={1, 2, {1, 2}},则下列表述正确的是.).选择一项:A.AB, 且A.B.AB, 且A.C.BA, 且A.D.AB, 且A.题目.设集合A={1.2.3}, B={3.4.5}, C={5.6.7},则A∪B–.=.).选择一项:A.{1.2.3.4.B.{4.5.6.7.C.{2.3.4.5.D.{1.2.3.5.题目.设集合..{1.2.3.4.5}上的偏序关系的哈斯图如右图所示, 若A的子集..{3.4.5}, 则元素3为B的.）.选择一项:A.最小上.B.下.C.最大下.D.最小.题目1.如果R1和R2是A上的自反关系, 则R1∪R2, R1∩R2, R1-R2中自反关系有.）个.选择一项:A..B..C..D..以下资料为赠送资料:《滴水之中见精神》主题班会教案活动目的: 教育学生懂得“水”这一宝贵资源对于我们来说是极为珍贵的, 每个人都要保护它, 做到节约每一滴水, 造福子孙万代。
(完整版)《离散数学》同步练习答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（1)设：p：派小王去开会。
q：派小李去开会.则命题：“派小王或小李中的一人去开会" 可符号化为：（p q) (p q）。
（2）设A,B都是命题公式，A B，则A B的真值是T。
（3）设:p：刘平聪明。
q：刘平用功。
在命题逻辑中，命题：“刘平不但不聪明，而且不用功”可符号化为：p q .（4）设A , B 代表任意的命题公式，则蕴涵等值式为A B A B。
（5）设，p：径一事;q：长一智。
在命题逻辑中,命题:“不径一事，不长一智。
" 可符号化为： p q 。
（6）设A , B 代表任意的命题公式，则德摩根律为（A B）Û A B）。
（7）设，p：选小王当班长;q：选小李当班长.则命题：“选小王或小李中的一人当班长。
”可符号化为: （p q）（p q） .（8）设，P：他聪明；Q：他用功。
在命题逻辑中，命题:“他既聪明又用功。
" 可符号化为：P Q .（9）对于命题公式A,B,当且仅当 A B 是重言式时，称“A蕴含B”，并记为A B。
（10)设:P：我们划船.Q:我们跑步.在命题逻辑中，命题:“我们不能既划船又跑步.”可符号化为：（P Q) 。
（11）设P，Q是命题公式,德·摩根律为：（P Q）P Q) 。
（12）设P:你努力.Q：你失败。
在命题逻辑中，命题：“除非你努力，否则你将失败。
”可符号化为：P Q .（13）设p：小王是100米赛跑冠军。
q:小王是400米赛跑冠军。
在命题逻辑中，命题：“小王是100米或400米赛跑冠军.”可符号化为：p q。
（14）设A，C为两个命题公式，当且仅当A C为一重言式时,称C可由A逻辑地推出。
二．判断题1.设A，B是命题公式，则蕴涵等值式为A B A B。
（）2.命题公式p q r是析取范式。
( √ )3.陈述句“x + y > 5”是命题。
离散数学第1次作业参考答案
甲对一半：
乙对一半：
丙对一半： ,
根据题意，只需要求出下列公式的成真赋值：
，
根据已知条件， ， ， ， ，并且根据已知有三位同学入围，因此， ， ， 。
所以，归结为 的成真赋值，可得李强为生活委员，丁金为班长，王小红为学习委员。
5 (20分)在某班班委成员的选举中，已知王小红、李强、丁金生三位同学被选进了班委会。该班的甲，乙，丙三名同学预言如下：
甲说：王小红为班长，李强为生活委员。
乙说：丁金生为班长，王小红为生活委员。
丙说：李强为班长，王小红为学习委员。
班委分工名单公布后发现，甲、乙、丙三人都恰好猜对了一半。
问：王小红、李强、丁金生各任何职(用等值演算法求解)？
离散数学第1次作业注：交纸质版作业
学号：姓名：班级：总分：
1 (5分)将下列命题符号化。
小李只能从筐里拿一个苹果或者一个梨。
1解:
设p:小李拿一个苹果，q:小李拿一个梨
原命题符号化为：
2 (25分，每题5分)将下列命题符号化，并指出各命题的真值。(1Fra bibliotek只要 ，就有 。
(2)只有 ，才有 。
(3)除非 ，才有 。
3解：
(1)原子命题符号化：
q: 3是无理数;r: 是无理数；s: 6能被2整除，t: 6能被4整除.
(2)整个论述符号化为：
(3)真值：1
4 (共30分,每题15分)求下列公式的主析取范式和主合取范式,并判断公式的类型(用等值演算法)
(1) ;
(2)
4解：
(1)
主析取范式
离散数学 习题答案
离散数学 习题 参考答案1、构造公式(p ∧q)∨ (¬p ∧¬q)、p↔q 的真值表。
2、构造公式¬(p ∨q)与¬p ∧¬q 的真值表。
3、构造公式 p 、p ∧p 、p ∨p 的真值表。
4、构造公式 p ∨(q ∧r)、(p ∨q)∧(p ∨r)的真值表。
5、构造公式 p ∨(p ∧r)、p 的真值表。
6、构造公式 p ∧(p ∨r)、p 的真值表。
7、构造公式 p↔q 、¬q↔¬p 的真值表。
8、构造公式(p→q)∧(p→¬q)、¬p 的真值表。
9、构造公式 p 、¬¬p 的真值表。
10、构造公式 p ∨¬p 、p ∧¬p 的真值表 略一、分别用等算演算与真值表法，判断下列公式是否存在主析取范式或主合取范式，若有，请写出来。
(1)(¬p→q)→(¬q ∨p) (2)(¬p→q)→(q ∧r)(3)(p ∨(q ∧r))→(p ∨q ∨r) (4) ¬(q→¬p)∧¬p (5)(p ∧q)∨(¬p ∨r) (6)(p→(p ∨q))∨r (7)(p ∧q)∨r(8) (p→q)∧(q→r) (9) (p ∧q)→q (10) ¬(r↔p)∧p ∧q存在主析取范式=成真赋值对应的小项的析取 =m 00∨m 10∨m 11=(¬p ∧¬q)∨(p ∧¬q)∨(p ∧q)主析取范式=成假赋值对应的大项的合取 =M 01=p ∨¬q等值演算：(¬p→q)→(¬q ∨p) ⇔¬ (¬¬p ∨q)∨(p ∨¬q) ⇔¬ (p ∨q)∨(p ∨¬q) ⇔ (¬p ∧¬q)∨(p ∨¬q) ⇔ (¬p ∨(p ∨¬q))∧(¬q ∨(p ∨¬q)) ⇔ (¬p ∨p ∨¬q)∧(¬q ∨p ∨¬q) ⇔ (1∨¬q)∧(p ∨¬q) ⇔ (p ∨¬q)这是大项，故为大项的合取，称为主合取范式(¬p→q)→(¬q ∨p) ⇔ (p ∨¬q) ⇔ (p)∨(¬q) ⇔ (p ∧1)∨( 1∧¬q)⇔ (p ∧(q ∨¬q))∨( (p ∨¬p)∧¬q) ⇔ (p ∧q)∨ (p ∧¬q)∨(p ∧¬q)∨(¬p ∧¬q) ⇔ (p ∧q)∨ (p ∧¬q)∨(¬p ∧¬q)因为一个公式的值不是真，就是假，因此当我们得到一个公的取值为真的情况时，剩下的组合是取值为假， 因此当得到小项的析取组成的主析取范式后，可以针对剩下的组合写出主合取范式。
石大远程奥鹏-离散数学-第一次在线作业正确答案
中国石油大学（北京）
石大远程
离散数学-第一次在线作业
参考答案
试读一页
离散数学-第一次在线作业
1. 空集不是任何集合的真子集
正确
错误
正确答案：错误
2. 一个集合可以是另一个集合的元素
正确
错误
正确答案：正确
3. 设A、B为集合，如果集合A的元素都是集合B的元素，则称A是B的子集正确
错误
正确答案：正确
4. 如果一个集合包含了所要讨论的每一个集合，则称该集合为全集，记为U 正确
错误
正确答案：正确
5. 在笛卡儿坐标系中，平面上点的坐标< 1,2> 与< 2,1> 代表不同的点。
离散数学习题一,二参考答案
《离散数学》习题一参考答案第一节 集合的基数1.证明两个可数集的并是可数集。
证明：设A ，B 是两可数集，},,,,,{321 n a a a a A =，},,,,,{321 n b b b b B = ⎪⎩⎪⎨⎧-→j b i a N B A f j i 212: ，f 是一一对应关系，所以|A ∪B|=|N|=0ℵ。
2．证明有限可数集的并是可数集证：设k A A A A 321,,是有限个可数集，k i a a a a A in i i i i ,,3,2,1),,,,,(321 ==⎪⎩⎪⎨⎧+-→==i k j a N A A f ij k i i )1(:1，f 是一一对应关系，所以|A|=| k i i A 1=|=|N|=0ℵ。
3.证明可数个可数集的并是可数集。
证：设 k A A A A 321,,是无限个可数集， ,3,2,1),,,,,(321==i a a a a A in i i i i⎪⎪⎩⎪⎪⎨⎧+-+-+→=∞=i j i j i a N A A f ij i i )2)(1(21:1 ， 所以f 是一一对应关系，所以|A|=| ∞=1i i A |=|N|=0ℵ。
4.证明整系数多项式所构成的集合是可数集。
证明：设整系数n 次多项式的全体记为}|{1110Z a a x a x a x a A i n n n n n ∈++++=--则整系数多项式所构成的集合 ∞==1N n A A ；由于k x 的系数k a 是整数，那么所有k x 的系数的全体所构成的集合是可数集，由习题2“有限个可数集的并是可数集”可得n A 是可数集，再又习题4“可数个可数集的并是可数集”得出整系数多项式所构成的集合 ∞==1N n A A 也是可数集。
5.证明不存在与自己的真子集等势的有限集合.证明：设集合A 是有限集，则|A|=n ，若B 是A 的真子集，则|B|≤|A|=n ，A-B ≠φ，即|A-B|=|A|-|AB|＞0；又A=（A-B ）∪B ，（A-B ）B=φ，所以，，就是|A|＞|B|，即得结论。
离散数学第一次作业
题号:1 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2设P：天下大雨，Q：他乘公共汽车上班。
命题“只有天下雨，他才乘公共汽车上班”符号化为（）•A、P→Q•B、Q→P•C、P<->Q•D、┑P→Q。
学员答案：b说明：本题得分：2题号:2 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2设P：我将去镇上，Q：我有时间，命题“我将去镇上，仅当我有时间”，符号化为（）•A、P→Q•B、Q→P•C、P<->Q•D、┑P→┑Q。
学员答案：a说明：本题得分：2题号:3 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）•A、P→┑Q•B、P∨┑Q•C、P∧Q•D、P∧┑Q学员答案：d说明：本题得分：2题号:4 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2设P：天下钉子，Q：我去B城。
命题“除非天下钉子，否则我去B城”符号化为（）•A、P→Q•B、Q→P•C、┑P→Q•D、Q→┑P。
学员答案：c说明：本题得分：2题号:5 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2设P：我们划船，Q：我们跳舞，命题“我们不能计划船又跳舞”符号化为（）•A、P∨Q•B、┑（P∧Q）•C、┑P∧┑Q•D、┑P∧Q。
学员答案：b说明：本题得分：2题号:6 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2设A，B为集合，A∩B=A∪B成立的充分必要条件是（）•A、A=B=φ•B、A=φ•C、B=φ•D、A=B学员答案：d说明：本题得分：2题号:7 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2一个公式在等价意义下，下面哪一个写法是唯一的（）•A、析取范式•B、合取范式•C、主析取范式•D、以上答案都不对。
学员答案：c说明：本题得分：2题号:8 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 设集合A={1，a}，则A的幂集P（A）=（）•A、{{1}，{a}}•B、{φ，{1]，{a}•C、{φ，{1]，{a}，{1，a}•D、{{1]，{a}，{1，a}学员答案：c说明：本题得分：2题号:9 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 设A=φ，B={φ，{φ}}，则B-A是（）•A、{{φ}}•B、{φ}•C、{φ，{φ}}•D、φ学员答案：c说明：本题得分：2题号:10 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下列命题公式是可满足（可真可假）公式的是（）•A、P∧┑P•B、P∨┑P•C、(Q→P)∧(┑P∧Q)•D、（P∧Q）∨（┑P∧R)学员答案：d说明：本题得分：2题号:11 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 设A={a，b}，则A的幂集P（A）为（）•A、{a，b}•B、{φ，{a}，{b}}•C、{φ，{a}}•D、{φ，{a}，{b}，{a，b}}学员答案：d说明：本题得分：2题号:12 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下列命题与B-A为同一集合的是（）•A、(A的补集)∪B•B、(A∪B)∩B•C、B∩(A的补集)•D、((A∩B)的补集)∪B学员答案：c说明：本题得分：2题号:13 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下面哪一组命题公式不是等价的（）•A、(P→Q)∧(Q→P)，P<->Q•B、┑(P<->Q),(P∧┑Q)∨(┑P∧Q)•C、P→(Q∨R),┑P∧(Q∨R)•D、P→(Q∨R),(P∧┑Q)→R学员答案：c说明：本题得分：2题号:14 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下列命题公式是主析取范式的是（）•A、P∧(P→Q)→Q)•B、P<->Q•C、P∨Q•D、(P∧Q)∨(P∧┑Q)学员答案：d说明：本题得分：2题号:15 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下面哪个联接词运算不可交换（）•A、∧•B、→•C、∨•D、<->学员答案：b说明：本题得分：2题号:16 题型:单选题（请在以下几个选项中选择唯一正确答案）本题分数:2 下列语句，哪一个是真命题（）.•A、我正在说谎•B、如果1+1=0，那么雪是黑的•C、9+5>18•D、存在最大的质数。
离散数学第一次作业题及答案.doc
第1次作业一、单项选择题(本大题共40分，共20小题，每小题2分)1.表达式FA (PV (QA-i S))的对偶式为 ___________ oA.FV(PA(QV-i S))B.T-(PV(QVn S))C.TV(PA(QV-| S))D.TV(PA(QAS))2.公式VxF(x) —3xG(x),下面给出的前束范式等价式中，哪一个是对的()OA.3x(F(x) V^G(x))B.VxF (x) VG(x)C.3x(-F(x) VG(x))Vx (「F(x) VG(X))3.设两个群＜乙+＞和V,•＞，,其中Z为整数集，Z x= {•••,10-3/10~2,10_1,10°,101,102,103,'-}, + 为普通加法，为普通乘法。
设(p： Z-»Z\屮(n)-io”。
则V乙+＞和＜Z-,•＞ ()A.是同构B.是单一同态C.是满同态D.不是同态4.不是命题的是()。
A.5大于3B.11是质数C.他是优秀学牛k是太阳5.对任意的公式P、Q、R,若P=>Q、Q=>R,则有A.R=>PB.P=>RC.Q=>PD.RnQ6.下列代数系统中， _________ 是群。
A.S={0, 1,3, 5}, *是模7 加法B.S=Q （有理数集），*是普通乘法C.S=Z （整数集合），*是普通减法D.S={1,3, 4, 5, 9}, *是模11 乘法7.P：今天下雨。
Q：明天下雨。
上述命题的合取为____________ o （符号表示）A.-1 PA-i QB.-I PVQC.n PV-i QD.PAQ&A.B.C.6D.39.他虽聪明单不用功。
设P：他聪明。
Q：他用功。
则命题符号化为_______ oA.PA-i QB.-I PVQC.n PVQD.QAP10.设G为至少有三个结点的连通平面图，则G中必有一个结点u,使得deg(u)<5B.deg(u)=5C.deg(u)>5D.deg(u) W511.下列关系中哪些能构成函数？()A.{ <x, y) |x, ye N, x+y<10}B.{ <x, y) |x, ye N, x+y二10}C.{ <x, y) |x, ye R, |x|=y}D.{ <x,y) |x,yG R, x=|y|}12.联结词一可以转化为由「和V表示，P-Qon PAn QB.-i PVQC.-1 PV-i QD.PAQ13.连通图G有6个顶点9条边，从G中删去___________ 条边才可能得到G的一•棵生成树T。
离散数学第一学期习题及答案
前提：p q, r q,r s 结论： p
参考答案:
1.
（1）p∨(q∧r) 0∨(0∧1) 0
（2）（p↔r）∧(﹁q∨s) （0↔1）∧(1∨1) 0∧1 0
（3）（ p∧ q∧r）↔(p∧q∧﹁r) （1∧1∧1） ↔ (0∧0∧0) 0
6. 判断下列各式的类型:
(1)
(2)
yF(x,y).
7. 给定下列各公式一个成真的解释，一个成假的解释。
(1) (F(x)
(2) x(F(x) G(x) H(x)) 8.给定解释Ｉ如下:
(a)个体域 D={3,4};
(b) f (x) 为 f (3) 4, f (4) 3
(c) F (x, y)为F (3,3) F (4,4) 0, F (3,4) F (4,3) 1.
后件为存在实数 x 对任意实数 y 都有 x+y=5，后件假，]
此时为假命题
再取解释 I 个体域为自然数 N，
F(x,y)：:x+y=5
所以,前件为任意自然数 x 存在自然数 y 使 x+y=5，前件假。此时为假命题。 此公式为非永真式的可满足式。
7.解:(1)个体域:本班同学
F(x)：x 会吃饭, G(x)：x 会睡觉.成真解释
所以公式类型为永真式
(3) P
q
r
00
0
p∨q 0
p∧r
（p∨q）→(p∧r)
0
1
00
1
0
0
1
01
0
1
0
0
01
1
1
0
0
1
00
离散数学第1章答案
离散数学第1章答案习题1.11、（1）否（2）否（3）是，真值为0（4）否（5）是，真值为12、（1）P：天下⾬ Q：我去教室┐P → Q（2）P：你去教室 Q：我去图书馆 P → Q（3）P，Q同（2） Q → P（4）P：2是质数 Q：2是偶数 P∧Q3、（1）0（2）0（3）14、（1）如果明天是晴天，那么我去教室或图书馆。
（2）如果我去教室，那么明天不是晴天，我也不去图书馆。
（3）明天是晴天，并且我不去教室，当且仅当我去图书馆。
习题1.21、（1）是（2）是（3）否（4）是（5）是（6）否2、（1）(P → Q) →R，P → Q，R，P，Q（2）(┐P∨Q) ∨（R∧P），┐P ∨ Q，R∧P，┐P，Q，R，P（3）((P → Q) ∧ (Q → P)) ∨┐(P → Q))，(P → Q) ∧(Q → P)，┐(P → Q)，P → Q，(Q → P)，P → Q，P，Q，Q，P，P，Q 3、（1）((P → Q) → (Q → P)) → (P → Q)（2）((P → Q) ∨ ((P → Q) → R))→ ((P → Q) ∧ ((P → Q) → R)) （3）(Q → P∧┐P) → (P∧┐P → Q)4、(P → Q) ∨ ((P∧Q) ∨ (┐P∧┐Q)) ∧ (┐P∨Q)习题1.31、（1）I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1（2）I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0（3）I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0（4）I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1（5）I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 13、（1）原式 <=> F→Q <=> T 原式为永真式（2）原式 <=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式（3）原式 <=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式（4）原式 <=> P∧(Q∨R) ←→ P∧(Q∨R) <=> T 原式为永真式（5）原式 <=> ┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q 原式为可满⾜式（6）原式 <=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> T 原式为永真式（7）原式 <=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P<=> T∧┐P <=> ┐P 原式为可满⾜式（8）原式 <=> ┐((P∨Q) ∧(┐Q∨R))∨(┐P∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、（1）左 <=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P∨┐Q) <=> 右（2）左 <=> ┐(┐P∨Q) <=> 右（3）左 <=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右（4）左 <=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左?(?P∨Q)∧(?R∨Q)??(P∨Q)∨Q?右5.(1)左?Q??P∨Q?右(2)(P→(Q→R))→((P→Q)→(P→R))(?P∨?Q∨R)∨?(?P∨Q) ∨(?P∨R)(P∧Q∧?R)∨(P∧?Q)∨?P∨R(P∧Q∧?R)∨((P∨?P)∧(?Q∨?P))∨R(P∧Q∧?R)∨(?Q∨?P∨R)(P∧Q∧?R) ∨?(P∧Q∧?R)T故P→(Q→R)?(P→Q)→(P→R)(3).(P→Q)→(P→P∧Q)(?P∨Q)∨?P∨(P∧Q)(?P∨Q)∨(?P∨P)∧(?P∨Q)(?P∨Q)∨(?P∨Q)T故P→Q?P→P∧Q(4).((P→Q) →Q) →P∨Q(?(?P∨Q) ∨Q) ∨P∨Q((P∨Q)∧?Q)∨P∨Q(P∧?Q)∨(Q∧?Q) ∨P∨Q(P∨Q)∨(P∨Q)T故(P→Q) →Q?P∨Q(5).((P∨?P)→Q)∧((P∨?P)→R)→(Q→R)((?T∨Q)∧(?T∨R)) ∨?Q∨R(Q∧R)∨?Q∨RQ∨?R∨?Q∨RQ∨TT故((P∨?P) →Q)∧((P∨?P)→R)?Q→R(6)左?(Q→F)∧(R→F)(Q∨F)∧(?R∨F)Q∧?RRR∨Q?右6.(1)原式?(?P∧?Q∧R)(2)原式??P∨?Q∨P??(P∧Q∧?P)(3)原式?P∨(Q∨?R∨P)?P∨Q∨?R??(?P∧?Q∧R)7.(1)原式??(?P∨?Q∨P)(2)原式?(?P∨Q∨?R) ∧?P∧Q??(?(?P∨Q∨?R)∨P∨?Q)(3)原式??P∧?Q∧ (R∨P) ??(P∨Q∨?(R∨P))8. (1) (P∨Q)∧((?P∧ (?P∧Q))∨R)∧?P(2)(P∨Q∨R)∧(?P∧R)(3)(P∨F)∧(Q∨T)习题1.41.(1)原式??(?P∨?Q)∨((?P∨?Q)∧(Q∨P))(?P∨?Q)∨(Q∨P)(P∧Q) ∨Q∨PQ∨P,既是析取范式⼜是合取范式(2)原式?((?P∨Q)∨(?P∨?Q))∧(?(?P∨Q) ∨?(?P∨?Q)) ?(P∧Q)∨(P∧?Q) 析取范式P∧(Q∨?Q)合取范式(3)原式??P∨Q∨?S∨ (?P∧Q)析取范式(P∨(?P∧Q))∨Q∨?SP∨Q∨?S合取范式(4)原式?P∨P∨Q∨Q∨R既是析取范式⼜是合取范式2.(1)原式?P∨?Q∨R为真的解释是：000，001，011，100，101，110，111故原式的主析取范式为:(?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧?∧QR)∨(P∧Q∧?R)∨(P∧Q∧R)(2)原式?(P∧?Q) ∨R(P∧?Q∧(R∨?R))∨((P∨?P)∧R)(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q)∨( ?P∧R)(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧(Q∨?Q)∧R)∨(?P∧(Q∨?Q)∧R) ?(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R)∨(P∧?Q∧R)∨(? P∧Q∧R)∨(?P∧?Q∧R)(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R) ∨(?P∧Q∧R)∨(?P∧?Q∧R)为真的解释是101，100，111，011，001(3)原式?(?P∨(Q∧R))∧(P∨(?Q∧?R))((P∨ (Q∧R)) ∧P)∨(( ?P∨ (Q∧R))∧( ?Q∧?R))(P∧P)∨(Q∧P∧R)∨( ?P∧?Q∧?R)∨(Q∧R∧?Q∧?R)(P∧Q∧R)∨(?P∧?Q∧?R)为真的解释是：000,111(4)原式?P∨P∨Q∨Q∨R?P∨Q∨R为真的解释是：001，010，011，100，101，110，111故原式的主析取范式为：(?P∧?Q∧R)∨(?P∧Q∧?R)∨(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧?R)∨(P∧Q∧R)3.(1)原式??P∨Q∨?P∨?Q?T主合取范式，⽆为假的解释。
离散数学第一章作业答案
第一章作业答案3. 将下列命题符号化：(2) 我去新华书店，仅当我有时间。
(4) 除非天不下雨，我将去新华书店。
(6)“2或4是素数，这是不对的”是不对的。
(8) 只要努力学习，成绩就会好的。
(10) 小张是山东人或河北人。
解(2) 符号化为Q→R，其中，R：我有时间，Q：我去新华书店。
除非的含义：①只有。
表示唯一的条件，常与“才，否则，不然”搭配：若要人不知，除非己莫为。
②除了。
表示不计算在内：除非临时有事，我一定去。
(4) 符号化为P→Q，其中，P：天下雨，Q：我去新华书店。
(6) 符号化为⌝(⌝(P∨Q))，“2或4是素数，这是不对的”是不对的，其中，P：2是素数，Q：4是素数。
(8) 符号化为P→Q，其中，P：努力学习，Q：成绩就会好的。
(10) 符号化为(⌝P∧Q)∨(P∧⌝Q)，其中，P：小张是山东人，Q：小张是河北人。
4. 构造下列命题公式的真值表，并据此说明哪些是其成真赋值，哪些是其成假赋值？(1) ⌝(P∨⌝Q)。
(2) P∧(Q∨R)。
(3) ⌝(P∨Q)↔(⌝P∧⌝Q)。
(4) ⌝P→(Q→P)。
解(1)由真值表可知，公式⌝(P∨⌝Q)的成真赋值为：FT，成假赋值为FF、TF、TT。
(2)由真值表可知，公式P∧(Q∨R)的成真赋值为：TFT、TTF、TTT，成假赋值为FFF、FFT、FTF、FTT、TFF。
(3)由真值表可知，公式⌝(P ∨Q)↔(⌝P ∧⌝Q)的成真赋值为：FF 、FT 、TF 、TT ，没有成假赋值。
(4)由真值表可知，公式⌝P →(Q →P)的成真赋值为：FF 、TF 、TT ，成假赋值为：FT 。
5. 分别用真值表法和公式法判断下列命题公式的类型：(2) (P∧Q)→(P∨Q)。
(4) (P∧Q→R)→(P∧⌝R∧Q)。
(6) (⌝P↔Q)↔⌝(P↔Q)。
解(2) 真值表法：由真值表可知，公式(P∧Q)→(P∨Q)为重言式。
公式法：因为(P∧Q)→(P∨Q) ⇔⌝(P∧Q)∨(P∨Q) ⇔⌝P∨⌝Q∨P∨Q ⇔ T，所以，公式(P∧Q)→(P∨Q)为重言式。
离散数学习题答案
离散数学习题答案离散数学习题答案习题⼀及答案：（P14-15） 14、将下列命题符号化：（5）⾟与末是兄弟解：设p ：⾟与末是兄弟，则命题符号化的结果是p （6）王强与威都学过法语解：设p ：王强学过法语；q ：威学过法语；则命题符号化的结果是p q ∧（9）只有天下⼤⾬，他才乘班车上班解：设p ：天下⼤⾬；q ：他乘班车上班；则命题符号化的结果是q p →（11）下雪路滑，他迟到了解：设p ：下雪；q ：路滑；r ：他迟到了；则命题符号化的结果是()p q r ∧→15、设p ：2+3=5.q ：⼤熊猫产在中国. r ：太阳从西⽅升起. 求下列复合命题的真值：（4）()(())p q r p q r ∧∧∨?→解：p=1，q=1，r=0，()(110)1p q r ∧∧??∧∧??，(())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧∨?→19、⽤真值表判断下列公式的类型：（2）()p p q →?→?解：列出公式的真值表，如下所⽰：由真值表可以看出公式有3个成真赋值，故公式是⾮重⾔式的可满⾜式。
20、求下列公式的成真赋值：（4）()p q q ?∨→解：因为该公式是⼀个蕴含式，所以⾸先分析它的成假赋值，成假赋值的条件是：()10p q q ?∨p q 所以公式的成真赋值有：01，10，11。
习题⼆及答案：（P38）5、求下列公式的主析取式，并求成真赋值：（2）()()p q q r ?→∧∧解：原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧()()p q r p q r ??∧∧∨∧∧37m m ?∨，此即公式的主析取式，所以成真赋值为011，111。
6、求下列公式的主合取式，并求成假赋值：（2）()()p q p r ∧∨?∨解：原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?，此即公式的主合取式，所以成假赋值为100。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一：P121.判断下列句子哪些是命题？在是命题的句子中，哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5，其中x是任意实数。
(5)你去图书馆吗？(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀！(9)吸烟请到吸烟室去！(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数，3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中，1、2、7、10、13是简单命题；1、2、10是真命题；7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p：中国有四大发明。
(2)q：5是无理数。
(7)r：刘红与魏新是同学。
(10)s：圆的面积等于半径的平方乘π。
(1)t：2025年元旦下大雪。
3.写出下列各命题的否定式，并将原命题及其否定式都符号化，最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解：原命题可符号化为：p：5是有理数。
其否定式为：非p。
非p的真值为1。
4.将下列命题符号化，并指出真值。
(1)2与5都是素数。
(2)不但π是无理数，而且自然对数的底e也是无理数。
(3)虽然2是最小的素数，但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数，也不是偶数。
a：2是素数。
b：5是素数。
c：π是无理数。
d：e是无理数。
f：2是最小的素数。
g：2是最小的自然数。
h：3是偶数。
i：3是素数。
j：4是素数。
k：4是偶数。
解：（1）到（5）的符号化形式分别为a∧b，c∧d，f∧非g，h∧i，非j∧非k。
这五个复合命题的真值分别为1，1，1，0，0。
5.将下列命题符号化，并指出真值。
a：2是偶数。
b：3是偶数。
c：4是偶数。
离散数学参考答案
1.(单选题)A．明年“五一”是晴天。
B．这朵花多好看呀！。
C．这个男孩真勇敢啊！ D．明天下午有会吗？答题： A. B. C. D. （已提交）参考答案：A问题解析：2.(单选题) 在上面句子中，是命题的是( )A．1＋101＝110 B．中国人民是伟大的。
C．这朵花多好看呀！ D．计算机机房有空位吗？答题： A. B. C. D. （已提交）参考答案：B问题解析：3.(单选题) 在上面句子中，是命题的是( )A．如果天气好，那么我去散步。
B．天气多好呀！C．x=3。
D．明天下午有会吗？答题： A. B. C. D. （已提交）参考答案：A问题解析：4.(单选题) 在上面句子中( )是命题下面的命题不是简单命题的是( )A．3 是素数或4 是素数B．2018 年元旦下大雪C．刘宏与魏新是同学 D．圆的面积等于半径的平方与π之积答题： A. B. C. D. （已提交）参考答案：A问题解析：5.(单选题) 下面的表述与众不一致的一个是( )A．P ：广州是一个大城市 B．ØP ：广州是一个不大的城市C．ØP ：广州是一个很不小的城市 D．ØP ：广州不是一个大城市答题： A. B. C. D. （已提交）参考答案：C问题解析：6.(单选题) 设，P：他聪明；Q：他用功。
在命题逻辑中，命题：“他既聪明又用功。
”可符号化为：()A．PÙQ B．P®QC．PÚØQ D．PÙØQ答题： A. B. C. D. （已提交）参考答案：A问题解析：7.(单选题) 设：P ：刘平聪明。
Q：刘平用功。
在命题逻辑中，命题：“刘平不但聪明，而且用功”可符号化为：()A．PÙQ B．ØPÚQC．PÚØQ D．PÙØQ答题： A. B. C. D. （已提交）参考答案：A问题解析：8.(单选题)设：P：他聪明；Q：他用功。
电大离散数学形考任务1参考答案排序后
电大离散数学形考任务1参考答案排序后●集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={<x，y>|x+y=10且x, yA}，则R的性质为（）．D. 对称的●集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, yA}，则R的性质为（）．正确答案是：传递的●如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．正确答案是：2●若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．D. {a} A●若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．正确答案是：A B，且A B●若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．C. { a } A●若集合A的元素个数为10，则其幂集的元素个数为（）．正确答案是：1024●设A、B是两个任意集合，则A-B = ( )．A B●设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为( )．正确答案是：无、2、无、2●设A={1，2，3 }，R={<1，1 >, <1，2 >，<2，1 >, <3，3 >}，则R是等价关系．（）错●设A={2, 3}，B={1, 2}，C={3, 4}，从A到B的函数f={<2, 2>, <3, 1>}，从B到C的函数g={<1，3>, <2，4>}，则Dom(g°f) ={2，3}．（）对●设A={a, b}，B={1, 2}，C={a, b}，从A到B的函数f={<a, 1>, <b, 2>}，从B到C的函数g={<1, b>, <2, a >}，则g° f ={<1，2 >, <2，1 >}．（）错●设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．正确答案是：8●设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）．g°f ={<a，5>, <b，4>}●设R是集合A上的等价关系，且1 , 2 , 3是A中的元素，则R中至少包含<1, 1>，<2, 2>，<3, 3> 等元素．（）对●设函数f：N→N，f(n)=n+1，下列表述正确的是（）．正确答案是：f是单射函数●设集合A = {1, 2, 3, 4, 5}上的偏序关系的哈斯图如图所示，若A的子集B = {3, 4, 5}，则元素3为B的（）．正确答案是：最小上界●设集合A = {1, a }，则P(A) = ( )．A. { ,{1}, {a}, {1, a }}●设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2, 1>，<3, 1>}，则h =（）．正确答案是：f◦g●设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3,2>，<4, 4>}，则S是R的（）闭包．正确答案是：对称●设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C =( )．正确答案是：{1, 2, 3, 4}●设集合A={1，2，3，4，5}，偏序关系是A上的整除关系，则偏序集<A，>上的元素5是集合A的（）．正确答案是：极大元●设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= ( )．正确答案是：{<2,3>, <4, 5>, <6, 7>}●设集合A={a}，则A的幂集为( ) 正确答案是：{ ，{a}}判断题。
离散数学第一次作业——参考答案
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 前提引入⑤ p → (q∨r) 前提引入⑥ q∨r ④⑤假言推理⑦ r ③⑥析取三段论P86. 22. 在自然推理系统N￡中，构造下列推理的证明。
（1）偶数都能被2整除。
6是偶数。
所以6能被2整除。
设：F（x）:x为偶数，G（x）:x能被2整除，a：6前提：?x(F(x) →G(x)), F(a)结论：G（a）证明：①任意x（F（x）—>G（x））前提引入②F（a）—>G（a）①全称量词消去规则③F（a）前提引入④G（a）假言推理。
东大22春《离散数学》在线平时作业1【参考答案】
《离散数学》在线平时作业1【参考答案】试卷总分:100 得分:100一、单选题 (共 10 道试题,共 50 分)1.单选题。
无向图是连通的，当且仅当（）。
A.任何两个结点之间都有通路；B.任何两个结点之间都有唯一路；C.任何两个结点之间都有路；D.任何两个结点之间都有迹。
标准答案:C2.单选题。
一个有向图是根树，当且仅当该图（）。
A.有树根，也有树叶；B.忽略边的方向时，是连通无回路的无向图；C.有一个结点可以到达任何其余结点；D.恰有一个结点入度为0：其余结点入度为1。
标准答案:D3.单选择题：在一次集会中，与奇数个人握手的人数共有( )个。
A.奇数；B.非负整数；C.偶数；D.不能确定。
标准答案:C4.单选题。
一棵树有7片树叶，3个3度结点，其余都是4度结点，该树有（）个4度结点。
A.4；B.3；C.2；D.1；E.不在给定的选择的范围内。
标准答案:D5.{图}A.f是满射，g是入射。
B.f是双射，g是双射C.f是入射，g是满射。
D.f是入射，g是入射。
标准答案:C6.选择填空题。
R是A上关系，如果R是自反的，当且仅当（）。
A.A中有些元素x，有<x,x>∈R ；B.所有A中元素x，都有<x,x>∈R ；C.所有A中元素x,y，如果有<x,y>∈R ，也有< y, x >∈R；则x=y 。
标准答案:B7.单选题。
无向图G中有21条边，3个4度结点，其余都是3度结点。
问G中有（）个结点？A.12；B.13；C.16；D.18。
标准答案:B8.选择填空题。
如果A、B都是有限集，且|A|=m, |B|=n，则 |A′B |=( ) 。
A.m+n ；B.mn ；C.mn ；D.nm 。
标准答案:B9.设.X、Y 是有限集合，|X|=3，|Y|=2，可以构成( )个是从X到Y的入射函数。
离散数学作业习题答案
第一章 习题解答
• 1-4 (8) c)
– (A∧B∧C)∨(┐A∧B∧C)
• (A∨┐A) ∧(B∧C) • T∧(B∧C) • B∧C
ቤተ መጻሕፍቲ ባይዱ
第一章 习题解答
• • 1-5 (1) a) 证明：
– – – – – – – – (P∧(P→Q))→Q (P∧(┐P∨Q))→Q (P∧┐P)∨(P∧Q)→Q (P∧Q)→Q ┐(P∧Q)∨Q ┐P∨┐Q∨Q ┐P∨T T
第一章 习题解答
• • 1-6 (3) c) 证明：
• • • • • • P→(┐P→Q) ┐P∨(P∨Q) T ┐P∨P (┐P↑┐P)↑(P↑P) P↑(P↑P)
P26(3) P26(1)
第一章 习题解答
• • 1-6 (3) c) 证明：
• • • • • • P→(┐P→Q) ┐P∨(P∨Q) T ┐P∨P (┐P↓P) ↓ (┐P↓P) ((P↓P)↓P)↓((P↓P)↓P)
习题2-5
(7) – 证明：(x)( y)(P(x)→Q(y)) – (x)( y)( ┐P(x) ∨Q(y)) – (x) ┐P(x) ∨( y)Q(y) – ┐(x)P(x) ∨( y)Q(y) – ( x)P(x)→(y)Q(y)
习题2-6
(1) b) – (x)(┐((y)P(x,y))→((z)Q(z)→R(x))) – (x)((y)P(x,y)∨((z)Q(z)→R(x))) – (x)((y)P(x,y) ∨(┐(z)Q(z) ∨R(x))) – (x)((y)P(x,y) ∨((z)┐Q(z) ∨R(x))) – (x) (y) (z) ( P(x,y) ∨┐Q(z) ∨R(x))
• • • • • (Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q 设R→Q为F，则R为T，且Q为F，又P∧┐P为F 所以Q→(P∧┐P)为T，R→(P∧┐P)为F 所以R→(R→(P∧┐P))为F，所以 (Q→(P∧┐P))→(R→(R→(P∧┐P)))为F 即(Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q成 立。
离散数学(第1次)
第1次作业一、单项选择题（本大题共30分，共15小题，每小题2分）1.A.4B.5C.6D.32.在完全m叉树中，若树叶数为t，分枝点数为i，则有（）A.（m-1）i<t-1B.(m-1)i>t-12C.(m-1)i=t-1D.（m-1）i <t -13.命题a）：如果天下雨，我不去。
写出命题a）的逆换式______________A.如果我不去，天下雨。
B.如果我去，天下雨。
C.如果天下雨，我去。
D.如果天不下雨，我去。
4. 设无向图中有6条边，3度与5度顶点各1个，其余顶点都是2度点, 问该图有多少个顶点（）A.B.C.42D.65. 假设A={a,b,c,d}, 考虑子集S={{a,b},{b,c},{d}} ，则下列选项正确的是( )。
A.S 是A 的覆盖B.S是A的划分C.S既不是划分也不是覆盖D.以上选项都不正确6. 没有不犯错误的人。
M(x): x为人。
F(x): x犯错误。
则命题可表示为( )。
A.(? x)(M(x) —F(x)B.(? x)(M(x) ? F(x)C.(? x) (M(x) ? F(x))D.(? x)(M(x) —F(x)7. 命题逻辑演绎的CP规则为()A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果C.如果要演绎出的公式为B—C形式，那么将B作为前提，演绎出CD.设？ (A)是含公式A的命题公式，B<=>A则可以用B替换？ (A)中的A8. 设G是有6个结点的完全图，从G中删去()条边，则得到树。
A.6B.9C.159. 设A B两个集合，当（）时A-B=B10A.A=BB.A? BC.B? AD.A=B=?10. 设U={1，2，3，4，5} ，A={2，4} ，B={4，3，5} ，C={2，5，3} ，确定集合（A-C）-B = （）。
A.{1,4}B.{2,3,4,5}C.{4}D.11.下图的最小生成树的权为（）A.40B.44C.48D.5212.对偶式为P T Q表达式是_______________A.P A QB.P J QC.P V QD.i Q13. 下列语句是命题，并且真值为0 的是()A. 雪式白的。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
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 前提引入
⑤ p → (q∨r) 前提引入
⑥ q∨r ④⑤假言推理
⑦ r ③⑥析取三段论
P86. 22. 在自然推理系统N£中，构造下列推理的证明。
（1）偶数都能被2整除。
6是偶数。
所以6能被2整除。
设：F（x）:x为偶数，G（x）:x能被2整除，a：6
前提：∀x(F(x) →G(x)), F(a)
结论：G（a）
证明：
①任意x（F（x）—>G（x））前提引入
②F（a）—>G（a）①全称量词消去规则
③F（a）前提引入
④G（a）假言推理。