离散数学习题解答
02324离散数学(课后习题解答(详细)
离散数学~习题1.11.下列句子中，哪些是命题？哪些不是命题？如果是命题，指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷21+3＜5。
⑸老王是山东人或河北人。
⑹2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以 。
⑾只有6是偶数，3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨，他就乘班车上班。
解：⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题，其中⑴⑶⑽⑾是真命题，⑷⑹⑿是假命题，⑸⑺⒀的真值目前无法确定；⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷，所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影，那么我也不看电影。
⑺我既不看电视也不外出，我在睡觉。
⑻除非天下大雨，否则他不乘班车上班。
解：⑴本命题为原子命题；⑵p：天气冷；q：我穿羽绒服；⑶p：天在下雨；q：湿度很高；⑷p：刘英上山；q：李进上山；⑸p：王强学过法语；q：刘威学过法语；⑹p：你看电影；q：我看电影；⑺p：我看电视；q：我外出；r：我睡觉；⑻p：天下大雨；q：他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭，一面听音乐。
⑵3是素数或2是素数。
⑶若地球上没有树木，则人类不能生存。
⑷8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数，则a+b是偶数。
解：⑴p：他吃饭；q：他听音乐；原命题符号化为：p∧q⑵p：3是素数；q：2是素数；原命题符号化为：p∨q⑶p：地球上有树木；q：人类能生存；原命题符号化为：⌝p→⌝q⑷p：8是偶数；q：8能被3整除；原命题符号化为：p↔q⑸p：停机；q：语法错误；r：程序错误；原命题符号化为：q∨r→p⑹p：四边形ABCD是平行四边形；q：四边形ABCD的对边平行；原命题符号化为：p↔q。
离散数学课后练习题答案(第三版)_乔维声_汤维版
、命题逻辑1.用形式语言写出下列命题：(1)如果这个数是大于1 的整数，则它的大于1 最小因数一定是素数。
(2)如果王琳是学生党员又能严格要求自己，则她一定会得到大家的尊敬。
(3)小王不富有但很快乐。
(4)说逻辑学枯燥无味或毫无价值都是不对的。
(5)我现在乘公共汽车或者坐飞机。
(6)如果有雾，他就不能搭船而是乘车过江。
解：(1)设P：这个数是大于1 的整数。
Q：这个数的大于1 最小因数是素数。
则原命题可表示为：P→Q。
或：设P1：这个数大于1。
P2：这个数是整数。
Q：这个数的大于1 最小因数是素数。
则原命题可表示为：P1∧ P2→Q。
(2)设P：王琳是学生。
Q：王琳是党员。
R：王琳能严格要求自己。
S：王琳会得到大家的尊敬。
则原命题可表示为：P ∧Q∧R→ S。
(3)设P：小王富有。
Q：小王很快乐。
则原命题可表示为：⌝P ∧Q。
(4)设P：逻辑学枯燥无味。
Q：逻辑学毫无价值。
则原命题可表示为：⌝( P∨Q)。
(5)设P：我现在乘公共汽车。
Q：我现在坐飞机。
则原命题可表示为：P⎺∨Q。
(6)设P：天有雾。
Q：他搭船过江。
R：他乘车过江。
则原命题可表示为：P →⌝ Q∧R。
2.设P：天下雪。
Q：我将进城。
R：我有时间。
将下列命题形式化：(1)天不下雪，我也没有进城。
(2)如果我有时间，我将进城。
(3)如果天不下雪而我又有时间的话，我将进城。
解：原命题可分别表示为：(1)⌝P ∧⌝ Q。
(2)R→Q。
(3)⌝P ∧ R→Q。
3.将P、Q、R所表示的命题与上题相同，试把下列公式翻译成自然语言：(1)R∧Q(2)⌝(R∨Q)(3)Q↔(R∧⌝P)(4)(Q→R)∧(R→Q)解：(1)原公式可翻译为：我有时间而且我将进城。
(2)⌝(R∨Q) ⇔⌝R∧⌝Q。
原公式可翻译为：我没有时间也没有进城。
(3)我将进城当且仅当我有时间而且天不下雪。
(4)(Q→R)∧(R→Q) ) ⇔(Q∧R) ∨ (⌝Q ∧⌝ R) ⇔ Q↔R。
《离散数学》 习题解答
离散数学习题解 ∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨ m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔ ∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).
离散数学习题解 ⇔¬ ((p→q) ∧ (q→p)) ⇔¬ ((¬p∨q) ∧ (¬q∨p)) ⇔ (p∧¬q) ∨ (q∧¬p) ⇔ (p∨q) ∧ (p∨¬p) ∧ (¬q∨q) ∧ (¬p∨¬q) ⇔ (p∨q) ∧¬ (p∧q) (4) (p∧¬q) ∨ (¬p∧q) ⇔ (p∨¬p) ∧ (p∨q) ∧ (¬q∨¬p) ∧ (¬q∨q) ⇔ (p∨q) ∧¬ (p∧q) 2.5. 求下列公式的主析取范式, 并求成真赋值: (1)( ¬p→q) → (¬q∨p) (2) ¬ (p→q) ∧q∧r (3)(p∨ (q∧r)) → (p∨q∨r) (1)(¬p→q) → (¬q∨p) ⇔ ¬(p∨q) ∨ (¬q∨p) ⇔ ¬p∧¬q ∨ ¬q ∨ p⇔ ¬p∧¬q ∨ ¬q ∨ p(吸收律)⇔ (p¬∨p)¬∧q ∨ p∧(q¬∨q) ⇔ p¬∧q ¬∨p¬∧q ∨ p∧q ∨ p¬∧q ⇔ m10 ∨ m00 ∨ m11 ∨ m10 ⇔ m0 ∨ m2 ∨ m3 ⇔ ∑(0, 2, 3). 成真赋值为 00, 10, 11. (2)主析取范式为 0, 无成真赋值, 为矛盾式. (3)m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式. 2.6. 求下列公式的主合取范式, 并求成假赋值: (1) ¬ (q→¬p) ∧¬p (2)(p∧q) ∨ (¬p∨r) (3)(p→ (p∨q)) ∨r (1) ¬ (q¬→p) ∧ ¬p ⇔ ¬(¬q¬∨p) ∧ ¬p ⇔ q∧p ∧ ¬p ⇔ q∧0 ⇔0 ⇔ M0∧M1∧M2∧M3 这是矛盾式. 成假赋值为 00, 01, 10, 11. (2)M4, 成假赋值为 100. (3)主合取范式为 1, 为重言式.
《离散数学》练习题和参考答案
《离散数学》练习题和参考答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P 答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P 答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PQ→⌝（2）QP⌝→（3）QP⌝↔（4）QP→⌝8、设个体域为整数集，则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学习题解答
离散数学习题答案习题一1. 判断下列句子是否为命题？若是命题说明是真命题还是假命题。
（1）3是正数吗？（2）x＋1=0。
（3）请穿上外衣。
（4）2＋1＝0。
（5）任一个实数的平方都是正实数。
（6）不存在最大素数。
（7）明天我去看电影。
（8）9＋5≤12。
（9）实践出真知。
（10）如果我掌握了英语、法语，那么学习其他欧洲语言就容易多了。
解：（1）、（2）、（3）不是命题。
（4）、（8）是假命题。
（5）、（6）、（9）、（10）是真命题。
（7）是命题，只是现在无法确定真值。
2. 设P表示命题“天下雪”，Q表示命题“我将去书店”，R表示命题“我有时间”，以符号形式写出下列命题。
（1）如果天不下雪并且我有时间，那么我将去书店。
（2）我将去书店，仅当我有时间。
（3）天不下雪。
（4）天下雪，我将不去书店。
解：（1）（┐P∧R）→Q。
（2）Q→R。
（3）┐P。
（4）P→┐Q。
3. 将下列命题符号化。
（1）王皓球打得好，歌也唱得好。
（2）我一边看书，一边听音乐。
（3）老张和老李都是球迷。
（4）只要努力学习，成绩会好的。
（5）只有休息好，才能工作好。
（6）如果a和b是偶数，那么a+b也是偶数。
（7）我们不能既游泳又跑步。
（8）我反悔，仅当太阳从西边出来。
（9）如果f(x)在点x0处可导，则f(x)在点x0处可微。
反之亦然。
（10）如果张老师和李老师都不讲这门课，那么王老师就讲这门课。
（11）四边形ABCD是平行四边形，当且仅当ABCD的对边平行。
（12）或者你没有给我写信，或者信在途中丢失了。
解：（1）P：王皓球打得好，Q：王皓歌唱得好。
原命题可符号化：P∧Q。
（2）P：我看书，Q：我听音乐。
原命题可符号化：P∧Q。
（3）P：老张是球迷，Q：老李是球迷。
原命题可符号化：P∧Q。
（4）P：努力学习，Q：成绩会好。
原命题可符号化：P→Q。
（5）P：休息好，Q：工作好。
原命题可符号化：Q→P。
（6）P：a是偶数，Q：b是偶数，R：a+b是偶数。
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
离散数学考试题及答案
离散数学考试题及答案一、选择题（每题5分，共20分）1. 下列哪个选项不是离散数学的研究对象？A. 图论B. 组合数学C. 微积分D. 逻辑学答案：C2. 在逻辑学中，下列哪个命题是真命题？A. 如果今天是周一，那么明天是周二。
B. 如果今天是周一，那么明天是周三。
C. 如果今天是周一，那么明天是周四。
D. 如果今天是周一，那么明天是周五。
答案：A3. 在集合论中，下列哪个符号表示集合的并集？A. ∩B. ∪C. ⊆D. ⊂答案：B4. 在图论中，下列哪个术语描述的是图中的顶点集合？A. 边B. 路径C. 子图D. 顶点答案：D二、填空题（每题5分，共20分）1. 如果一个集合A包含5个元素，那么它的子集个数是______。
答案：322. 在逻辑学中，如果命题P和命题Q都是真命题，那么复合命题“P且Q”的真值是______。
答案：真3. 在图论中，如果一个图的顶点数为n，那么它的最大边数是______。
答案：n(n-1)/24. 如果一个二叉树的深度为3，那么它最多包含______个节点。
答案：7三、简答题（每题10分，共30分）1. 请简述什么是图的连通性，并给出一个例子。
答案：图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如，在一个完全图K3中，任意两个顶点之间都可以通过一条边直接连接，因此它是连通的。
2. 解释什么是逻辑蕴含，并给出一个例子。
答案：逻辑蕴含是指如果一个命题P为真，则另一个命题Q也必须为真。
例如，命题P：“如果今天是周一”，命题Q：“明天是周二”。
如果今天是周一，那么根据逻辑蕴含，明天必须是周二。
3. 请描述什么是二叉搜索树，并给出它的一个性质。
答案：二叉搜索树是一种特殊的二叉树，其中每个节点的左子树只包含小于当前节点的数，右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题（每题15分，共30分）1. 给定一个集合A={1, 2, 3, 4, 5}，请计算它的幂集，并列出所有元素。
《离散数学》部分习题答案
第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为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(4)（⌝r∧s）→(p∧⌝q) ⇔（0∧1）→(1∧0) ⇔0→0⇔117．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：（4）(p→q) →(⌝q→⌝p)（5）(p∧r) ↔(⌝p∧⌝q)（6）((p→q) ∧(q→r)) →(p→r)答：（4）p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式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)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p) ⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式：(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1) (2) 主合取范式为： ⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为：(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1 ⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明：(2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p（3）⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q) ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀，在（a）中为假命题，在(b)中为真命题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
解 (1) (q → p) ∧ (¬p → q) ↔ ¬p ⇔ (¬q ∨ p) ∧ ( p ∨ ¬q) ↔ ¬p ⇔ p ↔ ¬p ⇔ 0
(2)
( p → q) ∧ (q → r) ∧ ¬( p → r) ⇔ (¬p ∨ q) ∧ (¬q ∨ r) ∧ ¬(¬p ∨ r)
⇔ (¬p ∨ q) ∧ (¬q ∨ r) ∧ p ∧ ¬r ⇔ ((¬p ∨ q) ∧ p) ∧ ((¬q ∨ r) ∧ ¬r)
⑸ p：我上街。q：我去书店。
“只要上街，我就去书店”符号化为 p → q 。
⑹ p：小杨晚上做完了作业。q：小杨晚上没有其它事情。 r：小杨晚上看电视。s：小杨晚上听音乐。
“如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为 p ∧ q → r ∨ s 。
⑺ p：林芳在家里。q：林芳做作业。r：林芳看电视。
第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题，并讨论命题的真值。
⑴ 2x − 3 = 0 。
⑵ 前进！
⑶ 如果 8 + 7 > 20 ，则三角形有四条边。
⑷ 请勿吸烟！ ⑸ 你喜欢鲁迅的作品吗？ ⑹ 如果太阳从西方升起，你就可以长生不老。 ⑺ 如果太阳从东方升起，你就可以长生不老。 解 ⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。 ⒉ 将下列命题符号化： ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于 1963 年或 1964 年。 ⑷ 只有不怕困难，才能战胜困难。 ⑸ 只要上街，我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。 ⑺ 如果林芳在家里，那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书，除非他病了或者图书馆不开门。 解 ⑴ p：逻辑是枯燥无味的。
“逻辑不是枯燥无味的”符号化为 ¬p 。
⑵ p：我看见的是小张。q：我看见的是老李。
“我看见的既不是小张也不是老李”符号化为 ¬p ∧ ¬q 。
⑶ p：他生于 1963 年。q：他生于 1964 年。
“他生于 1963 年或 1964 年”符号化为 p ⊕ q 。
⑷ p：害怕困难。q：战胜困难。
“只有不怕困难，才能战胜困难”符号化为 q → ¬p 。
⇔ ¬p ∨ q ∨ ¬p ∨ r ∨ ¬p ∨ s → ( p → q ∨ r ∨ s)
⇔ ¬p ∨ q ∨ r ∨ s → ¬p ∨ q ∨ r ∨ s ⇔ 1
(4)
( p ∨ q → r) → ( p → r) ∨ (q → r)
⇔ ¬(¬( p ∨ q) ∨ r) ∨ ¬p ∨ r ∨ ¬q ∨ r
(3) ( p → q) ∨ (r → q) ⇔ ¬p ∨ q ∨ ¬r ∨ q ⇔ ¬( p ∧ r) → q ⇔ p ∧ r → q
(4) p → (q → p) ⇔ ¬p ∨ ¬q ∨ p ⇔ 1 ⇔ ¬¬p ∨ ¬p ∨ q ⇔ ¬p → ( p → q)
(5)
( p → q) ∧ (r → q) ⇔ (¬p ∨ q) ∧ (¬r ∨ q) ⇔ (¬p ∧ ¬r) ∨ q
pΔ11q
0
0
1
1
1
1
1
0
1
0
0
1
1
1
1
0
1
1
0
1
1
1
1
0
1
0
0
1
⒋ 求下列公式在真值赋值 ( p1 /1, p2 /1, p3 / 0, p4 / 0) 下的值： ⑴ p1 ∨ ( p2 ∧ p3 ) ⑵ ( p1 ∧ p2 ∧ p3) ∨ ¬(( p1 ∨ p2 ) ∧ ( p3 ∨ p4 )) ⑶ ¬( p1 ∧ p2 ) ∨ ¬p3 ∨ (((¬p1 ∧ p2 ) ∨ ¬p3 ) ∧ ¬p4 ) ⑷ ( p2 ↔ ¬p1) → ¬p3 ∨ p4 ⑸ ( p1 ↔ p3) ∧ (¬p2 → p4 ) ⑹ p1 ∨ ( p2 → p3 ∧ ¬p1) ↔ p2 ∨ ¬p4 ⑺ ( p1 ↔ p3 ) ∧ (¬p2 ⊕ p4 ) 解 记真值赋值 ( p1 /1, p2 /1, p3 / 0, p4 / 0) 为 v。 ⑴ v( p1 ∨ ( p2 ∧ p3 )) = 1∨ (1∧ 0) = 1 。 ⑵ v(( p1 ∧ p2 ∧ p3) ∨ ¬(( p1 ∨ p2 ) ∧ ( p3 ∨ p4 ))) = (1 ∧ 1 ∧ 0) ∨ ¬((1 ∨ 1) ∧ (0 ∨ 0)) = 1 ⑶ v(¬( p1 ∧ p2 ) ∨ ¬p3 ∨ (((¬p1 ∧ p2 ) ∨ ¬p3 ) ∧ ¬p4 )) = ¬(1 ∧ 1) ∨ ¬0 ∨ (((¬1 ∧ 1) ∨ ¬0) ∧ ¬0) = 1 。 ⑷ v(( p2 ↔ ¬p1) → ¬p3 ∨ p4 ) = (1 ↔ ¬1) → ¬0 ∨ 0 = 1。 ⑸ v(( p1 ↔ p3) ∧ (¬p2 → p4 )) = (1 ↔ 0) ∧ (¬1 → 0) = 0 。 ⑹ v( p1 ∨ ( p2 → p3 ∧ ¬p1) ↔ p2 ∨ ¬p4 ) = 1 ∨ (1 → 0 ∧ ¬1) ↔ 1 ∨ ¬0 = 1。 ⑺ v(( p1 ↔ p3) ∧ (¬p2 ⊕ p4 )) = (1 ↔ 0) ∧ (¬1 ⊕ 0) = 0 。
(2) ( p / 0, q /1, r / 0) ， ( p /1, q / 0, r / 0) ， ( p /1, q / 0, r /1) ， ( p /1, q /1, r / 0) ，
( p /1, q /1, r /1) 。
(3) ( p / 0, q / 0, r / 0) ， ( p / 0, q /1, r / 0) 。
“他唱歌的充分必要条件是心情愉快” 符号化为 p ↔ q 。
⑾ p：小王在图书馆看书。q：小王病了。r：图书馆开门。
“小王总是在图书馆看书，除非他病了或者图书馆不开门”符号化为 ¬(q ∨ ¬r) → p 。
⒊ 列出除 ∧ ， ∨ ， ⊕ ， → ， ↔ 之外的所有二元联结词的真值表。
离散数学习题解答 1
离散数学习题解答 4
⇔ (( p ∨ q) ∧ ¬r) ∨ ¬p ∨ ¬q ∨ r
⇔ ( p ∨ q ∨ ¬p ∨ ¬q ∨ r) ∧ (¬r ∨ ¬p ∨ ¬q ∨ r) ⇔ 1∧1 ⇔ 1
11.用等值演算证明以下公式是永假式。
(1) (q → p) ∧ (¬p → q) ↔ ¬p
(2) ( p → q) ∧ (q → r) ∧ ¬( p → r)
9.用等值演算证明以下等值式。
(1) p → (q → r) ⇔ q → ( p → r) (2) ( p → q) ∧ ( p → r) ⇔ p → q ∧ r (3) ( p → q) ∨ (r → q) ⇔ p ∧ r → q
离散数学习题解答 3
(4) p → (q → p) ⇔ ¬p → ( p → q)
解 (1), (2), (4), (5), (7)是永真式，(6)是永假式，(3)是非永真的可满足式。 6. 指出满足下列公式的所有真值赋值。
(1) ( p ∧ q) ∨ (¬p ∨ r) (2) p ∨ (q ∧ ¬r ∧ ( p ∨ q)) (3) p ∨ r → ¬( p ∨ r) ∧ (q ∨ r) (4) p ⊕ (q ↔ r)
(4) ( p / 0, q / 0, r / 0) ， ( p / 0, q /1, r /1) ， ( p /1, q / 0, r /1) ， ( p /1, q /1, r / 0) 。
7. 若公式 A 既不是永真式，也不是永假式，则 A 的每个替换实例一定既不是永真式，也不是永假式。对吗？ 解 不对。若 A 是非永真的可满足式，则它的替换实例中既有永真式，也有永假式，也有非永真的可满足式。 8.用真值表证明以下等值式。 (1) (2) (3) (4)
⇔ ¬( p ∨ r) ∨ q ⇔ p ∨ r → q
(6) ¬( p ↔ q) ⇔ p ⊕ q ⇔ ( p ⊕ (q ⊕1)) ⊕1 ⇔ ¬( p ⊕ ¬q) ⇔ p ↔ ¬q
10.用等值演算证明以下公式是永真式。
(1) (q → p) ∧ (¬p → q) ↔ p
(2) ( p → q) ∧ (r → s) → ( p ∧ r → q ∧ s)
⇔ (¬p ∧ ¬q ∧ ¬¬r) ∨ (¬p ∧ ¬q ∧ p)
⇔ ¬p ∧ ¬q ∧ ¬¬r ⇔ ¬( p ∨ q ∨ ¬r)
(2) ( p → q ∨ ¬r) ∧ ¬p ∧ q ⇔ (¬p ∨ q ∨ ¬r) ∧ ¬p ∧ q ⇔ ¬(¬(¬p ∨ q ∨ ¬r) ∨ p ∨ ¬q)
5. 用真值表判断以下公式是不是永真式、永假式、可满足式。
(1) ( p → r) → ((q → r) → ( p ∨ q → r))
离散数学习题解答 2
(2) ( p → ¬p) → ¬p (3) ( p → q) → (( p → ¬q) → p) (4) ( p → (q → r)) → (( p → q) → ( p → r)) (5) ( p ∧ q) ∧ ( p → r) ∧ (q → r) → r (6) ¬p ∧ ¬( p → q) (7) ( p → q) → (( p → ¬q) → ¬p)
(2)
( p → q) ∧ (r → s) → ( p ∧ r → q ∧ s)
⇔ (¬p ∨ q) ∧ (¬r ∨ s) ∧ p ∧ r → q ∧ s
⇔ (¬p ∨ q) ∧ p ∧ (¬r ∨ s) ∧ r → q ∧ s
ቤተ መጻሕፍቲ ባይዱ
⇔ q∧ p∧s∧r →q∧s ⇔1
(3)
( p → q) ∨ ( p → r) ∨ ( p → s) → ( p → q ∨ r ∨ s)