离散数学:部分习题及其习题课
- 格式:pptx
- 大小:1.09 MB
- 文档页数:59
离散数学课后习题及答案离散数学是计算机科学与数学的重要基础课程之一,它涵盖了很多重要的概念和理论。
为了更好地掌握离散数学的知识,课后习题是必不可少的一部分。
本文将介绍一些常见的离散数学课后习题,并提供相应的答案,希望对读者有所帮助。
一、集合论1. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。
答案:A∪B={1,2,3,4},A∩B={2,3}2. 设A={1,2,3},B={2,3,4},C={3,4,5},求(A∪B)∩C的结果。
答案:(A∪B)∩C={3,4}二、逻辑与命题1. 判断下列命题的真假:a) 若2+2=5,则地球是平的。
b) 若今天下雨,则我会带伞。
c) 若x>0,则x^2>0。
答案:a)假,b)真,c)真。
2. 用真值表验证下列命题的等价性:a) p∧(q∨r) ≡ (p∧q)∨(p∧r)b) p→q ≡ ¬p∨q答案:a)等价,b)等价。
三、关系与函数1. 给定关系R={(1,2),(2,3),(3,4)},求R的逆关系R^-1。
答案:R^-1={(2,1),(3,2),(4,3)}2. 设函数f(x)=x^2,g(x)=2x+1,求复合函数f(g(x))的表达式。
答案:f(g(x))=(2x+1)^2=4x^2+4x+1四、图论1. 给定图G,其邻接矩阵为:0 1 11 0 11 1 0求图G的度数序列。
答案:度数序列为(2,2,2)2. 判断下列图是否为连通图:a) G1的邻接矩阵为:0 1 11 0 01 0 0b) G2的邻接矩阵为:0 1 01 0 10 1 0答案:a)不是连通图,b)是连通图。
五、组合数学1. 从10个不同的球中,任选3个,求共有多少种选法。
答案:C(10,3)=120种选法。
2. 求下列排列的循环节:a) (123)(45)(67)b) (12)(34)(56)(78)答案:a)循环节为(123)(45)(67),b)循环节为(12)(34)(56)(78)。
离散数学~习题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。
作业答案:数理逻辑部分P14:习题一1、下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(3 答:简单命题,真命题。
(9)吸烟请到吸烟室去! 答:不是命题。
(12)8是偶数的充分必要条件是8能被3整除。
答:复合命题,假命题。
14、讲下列命题符号化。
(6)王强与刘威都学过法语。
答::p 王强学过法语;:q 刘威学过法语。
符号化为:p q ∧(10)除非天下大雨,他就乘班车上班。
答::p 天下大雨;:q 他乘班车上班。
符号化为:p q →(13)“2或4是素数,这是不对的”是不对的。
答::p 2是素数;:q 4是素数。
符号化为:(())p q ⌝⌝∨15、设:p 2+3=5. :q 大熊猫产在中国。
:r 太阳从西方升起。
求下列复合命题的真值。
(2)(())r p q p →∧↔⌝(4)()(())p q r p q r ∧∧⌝↔⌝∨⌝→ 解答: p 真值为1;q 真值为1;r 真值为0.(2)p q ∧真值为1;()r p q →∧真值为1;p ⌝真值为0;所以(())r p q p →∧↔⌝真值为0.(4)p q r ∧∧⌝真值为1,p q ⌝∨⌝真值为0,()p q r ⌝∨⌝→真值为1;所以()(())p q r p q r ∧∧⌝↔⌝∨⌝→真值为1.19、用真值表判断下列公式的类型。
(4)()()p q q p →→⌝→⌝所以为重言式。
所以为可满足式。
P36:习题二3、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出其成真赋值。
(1)()p q q ⌝∧→ 解答:()(())(())()10p q q p q q p q q p q q ⌝∧→⇔⌝⌝∧∨⇔⌝⌝∨⌝∨⇔⌝⌝∨⌝∨⇔⌝⇔所以为永假式。
(2)(())()p p q p r →∨∨→ 解答:(())()(())()()()1()1p p q p r p p q p r p p q p r p r →∨∨→⇔⌝∨∨∨⌝∨⇔⌝∨∨∨⌝∨⇔∨⌝∨⇔ 所以因为永真式。
离散数学习题答案习题一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是偶数。
作业答案:集合论部分P90:习题六5、确定下列命题是否为真。
(2)ÆÎÆ(4){}ÆÎÆ(6){,}{,,,{,}}a b a b c a b Î解答:(2)假(4)真(6)真8、求下列集合的幂集。
(5){{1,2},{2,1,1},{2,1,1,2}}(6){{,2},{2}}Æ解答:(5)集合的元素彼此互不相同,所以{2,1,1,2}{1,2}=,所以该题的结论应该为{,{{1,2}},{{2,1,2}},{{2,1,1,1}},{{1,2},{2,1,2},{2,1,1,1}}}Æ(6){,{{,2}},2,{{,2},{2}}}ÆÆÆ9、设{1,2,3,4,5,6}E =,{1,4}A =,{1,2,5}B =,{2,4}C =,求下列集合。
(1)A B(2)()A B 解答:(1){1,4}{3,4,6}{4}A B ==(2)(){1}{2,3,4,5,6}A B ==31、设A,B,C 为任意集合,证明()()()()A B B A A B A B --=-证明:()(){|}{|()()}{|()()()()}{|()()}{|()()}{|()()}{|()()}{|()(A B B A x x A B x B A x x A x B x B x A x x A x B x B x B x A x A x B x A x x A x B x B x A x x A B x A x B x x A B x A x B x x A B x A B x x AB x A--=Î-ÚÎ-=ÎÙÏÚÎÙÏ=ÎÚÎÙÏÚÎÙÎÚÏÙÏÚÏ=ÎÚÎÙÏÚÏ=ÎÙÏÚÏ=ÎÙÎÚÎ=ÎÙÎ=ÎÙÎ)}B A B AB=-34、设A,B 为集合,证明:如果()()A B B A AB --=,则AB =Æ。
作业答案:图论部分P165:习题九1、 给定下面4个图(前两个为无向图,后两个为有向图)的集合表示,画出它们的图形表示。
(1)111,G V E =<>,112345{,,,,}V v v v v v =,11223343345{(,),(,),(,),(,),(,)}E v v v v v v v v v v = (2)222,G V E =<>,21V V =,11223344551{(,),(,),(,),(,),(,)}E v v v v v v v v v v = (3)13331,,,D V E V V =<>=31223324551{,,,,,,,,,}E v v v v v v v v v v =<><><><><> (4)24441,,,D V E V V =<>=31225523443{,,,,,,,,,}E v v v v v v v v v v =<><><><><> 解答: (1)(2)10、是否存在具有下列顶点度数的5阶图?若有,则画出一个这样的图。
(1)5,5,3,2,2;(2)3,3,3,3,2;(3)1,2,3,4,5;(4)4,4,4,4,4 解答:(1)(3)不存在,因为有奇数个奇度顶点。
14、设G 是(2)n n ≥阶无向简单图,G 是它的补图,已知12(),()G k G k δ∆==,求()G ∆,()G δ。
解答:2()1G n k ∆=--;1()1G n k δ=--。
15、图9.19中各对图是否同构?若同构,则给出它们顶点之间的双射函数。
解答:(c )不是同构,从点度既可以看出,一个点度序列为4,3,3,3,3而另外一个为4,4,3,3,1(d )同构,同构函数为12()345x a x bf x x c x d x e=⎧⎪=⎪⎪==⎨⎪=⎪=⎪⎩ 16、画出所有3条边的5阶简单无向图和3条边的3阶简单无向图。
第一章部分课后习题参考答案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-1,1-2(1)解:a)是命题,真值为T。
b)不是命题。
c)是命题,真值要根据具体情况确定。
d)不是命题。
e)是命题,真值为T。
f)是命题,真值为T。
g)是命题,真值为F。
h)不是命题。
i)不是命题。
(2)解:原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)解:a)(┓P∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q↔(R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c)设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5)解:a)设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)设P:小李看书。
Q:小李听音乐。
P∧Qc)设P:气候很好。
Q:气候很热。
P∨Qd)设P:a和b是偶数。
Q:a+b是偶数。
P→Qe)设P:四边形ABCD是平行四边形。
Q:四边形ABCD的对边平行。
P↔Qf)设P:语法错误。
Q:程序错误。
R:停机。
(P∨Q)→R(6)解:a)P:天气炎热。
Q:正在下雨。
P∧Qb)P:天气炎热。
R:湿度较低。
P∧Rc)R:天正在下雨。
S:湿度很高。
R∨Sd)A:刘英上山。
B:李进上山。
A∧Be)M:老王是革新者。
N:小李是革新者。
M∨Nf)L:你看电影。
M:我看电影。
┓L→┓Mg)P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh)P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。
(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。
1兴义民族师范学院数学系10级专科班使用代数结构集合论组合数学离散数学数理逻辑图论初等数论离散数学及其应用兴义民族师范学院2主要内容z 命题、真值、简单命题与复合命题、命题符号化z 联结词¬, ∧, ∨, →, ↔及复合命题符号化z 命题公式及层次z 公式的类型z 真值表及应用基本要求z 深刻理解各联结词的逻辑关系, 熟练地将命题符号化z 会求复合命题的真值z 深刻理解合式公式及重言式、矛盾式、可满足式等概念z 熟练地求公式的真值表,并用它求公式的成真赋值与成假赋值及判断公式类型第一章习题课例2将下列命题符号化.(1)吴颖既用功又聪明.(2)吴颖不仅用功而且聪明.(3)吴颖虽然聪明,但不用功.(4)张辉与王丽都是三好生.(5)张辉与王丽是同学.(1) p∧q解令p:吴颖用功, q:吴颖聪明(2) p∧q(3) ¬p∧q设p:张辉是三好生, q:王丽是三好生(4) p∧q(5) p: 张辉与王丽是同学(1)—(3) 说明描述合取式的灵活性与多样性(4)—(5) 要求分清“与”所联结的成分34例3将下列命题符号化(1) 2 或4 是素数.(2) 2 或3 是素数.(3) 4 或6 是素数.(4) 小元只能拿一个苹果或一个梨.(5) 王小红生于1975 年或1976 年.解:(1) 令p :2是素数, q :4是素数, p ∨q 解:(2) 令p :2是素数, q :3是素数, p ∨q 解:(3) 令p :4是素数, q :6是素数, p ∨q解:(4) 令p :小元拿一个苹果, q:小元拿一个梨(p ∧¬q )∨(¬p ∧q )解:(5) p :王小红生于1975 年, q :王小红生于1976 年,(p ∧¬q )∨(¬p ∧q ) 或p ∨q相容或排斥或5定义1.4设p , q 为两个命题,复合命题“如果p , 则q ”称作p 与q 的蕴涵式,记作p →q ,并称p 是蕴涵式的前件,q 为蕴涵式的后件,→称作蕴涵联结词.规定:p →q 为假当且仅当p 为真q 为假.2. 蕴涵联结词(1)p →q 的逻辑关系:q 为p 的必要条件(2)“如果p , 则q ”有很多不同的表述方法:若p ,就q 只要p ,就q p 仅当q 只有q 才p除非q , 才p 或除非q ,否则非p ,….(3)当p 为假时,p →q 恒为真,称为空证明(4)常出现的错误:不分充分与必要条件6第一章习题课1.下列句子中,那些是命题?并判断其真假.(1) 古代中国有四大发明. (2) 是无理数. (3)3是素数或4是素数.(4) ,其中是任意实数.(5)你去图书馆吗?(6)2与3都是偶数.(7)刘红与魏新是同学.(8)这朵玫瑰花多美丽呀!(9)吸烟请到吸烟室去!(10)圆的面积等于半径的平方乘以.(11)只有6是偶数,3才能是2的倍数.(12)8是偶数的充分必要条件是8能被3整除.(13)2025年元旦下大雪.5x 235x +<π是命题,真命题是命题,真命题是命题,真命题不是命题,真值不唯一不是命题,疑问句是命题,假命题是命题,真值客观存在,真值视具体情况定不是命题,感叹句不是命题,祈使句是命题,真命题是命题,真命题是命题,假命题是命题,真值客观存在,真值待定78. 将下列命题符号化,并指出各命题的真值.(1)只要,就有.(2) 如果,则.(3) 只有,才有.(4) 除非,才有.(5) 除非,否则.(6) 仅当.32<21<21<21<21<21<21<32≥32<32≥32≥32<解:设p :,q : 21<32<提示:分清必要与充分条件及充分必要条件(1) p →q,真值为:1(2) p →¬q,真值为:1真值为:0(3) ¬q →p,(4) ¬q →p,真值为:0(5) ¬q →p,真值为:0假言易位A →B ⇔¬B →¬A¬q →p ⇔¬p →q(6) p →q,真值为:1补充题3. 用真值表判断下面公式的类型(1)p∧r∧¬(q→p)(2)((p→q) →(¬q→¬p)) ∨r(3)(p→q) ↔(p→r)89(1) p ∧r ∧¬(q →p )矛盾式0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1 p q r 000000001100001001111p ∧r ∧¬(q →p )¬(q →p ) q →p 001(2) ((p→q) →(¬q→¬p)) ∨r永真式111111111111111111110 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1((p→q) →(¬q→¬p)) ∨r ¬q→¬pp→qp q r10练习3解答(3) (p→q) ↔(p→r)非永真式的可满足式1111111111111111110 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1(p→q) ↔(p→r)p→rp→qp q r1112(3)(p ∧q ) →¬p 的真值表1 11 00 10 0(p ∧q ) →¬pp ∧q┐pp q11100111000成真赋值为00,01,1020.列出真值表,求下列公式的成真赋值13(4)¬(p ∨q ) →q 的真值表1 11 00 10 0¬(p ∨q ) →q¬(p ∨q )p ∨qp q111011100001成真赋值为01,10,1120.列出真值表,求下列公式的成真赋值14111100000 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1101010100011000011101111成假赋值为:011¬(¬p ∧q ) ∨¬r¬(¬p ∧q )¬r ¬pp q r¬p ∧q11001111(1)¬(¬p ∧q ) ∨¬r 的真值表21.列出真值表,求下列公式的成假赋值15(2)(¬q ∨r ) ∧(p →q )的真值表0 0 01 1 11 1 01 0 11 0 00 1 10 1 00 0 1(¬q ∨r ) ∧(p →q )p →q ¬q ∨r ¬q p q r 11001111100010110011001110111011成假赋值为:010,100,101,110。