离散数学 第1章 习题解答

离散数学~习题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。

#include<stdio.h>#include<stdlib.h>#include<malloc.h>#define MAX_STACK_SIZE 100 typedef int ElemType; typedef struct{ElemType data[MAX_STACK_SIZE];int top;} Stack;void lnitStack(Stack *S){S->top=-1;}int Push(Stack *S,ElemType x){if(S->top==MAX_STACK_SIZE-1){printf("\n Stack is full!");return 0;}S->top++;S->data[S->top]=x;return 1;}int Empty(Stack *S){return (S->top==-1);}int Pop(Stack *S,ElemType *x){if(Empty(S)){printf("\n Stack is free!");return 0;}*x=S->data[S->top];S_>top__;return 1;}void conversion(int N){int e;Stack *S=(Stack*)malloc(sizeof(Stack));InitStack(S); while(N){Push(S,N%2);"}while(!Empty(S)){Pop(S, &e);printf("%d ",e);}}void main(){ int n;printf(" 请输入待转换的值n: \n");scanf ("%d",&n);conversion(n);1. 判断下列语句是否是命题，为什么？若是命题，判断是简单命题还是复合命题？(1) 离散数学是计算机专业的一门必修课。

（完整版）离散数学答案（尹宝林版）第一章习题解答第一章命题逻辑习题与解答⒈ 判断下列语句是否为命题，并讨论命题的真值。

⑴ 2x - 3 = 0。

⑵ 前进！⑶ 如果8 + 7 > 20，则三角形有四条边。

⑷ 请勿吸烟！⑸ 你喜欢鲁迅的作品吗？⑹ 如果太阳从西方升起，你就可以长生不老。

⑺ 如果太阳从东方升起，你就可以长生不老。

解⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。

⒉ 将下列命题符号化：⑴ 逻辑不是枯燥无味的。

⑵ 我看见的既不是小张也不是老李。

⑶ 他生于1963年或1964年。

⑷ 只有不怕困难，才能战胜困难。

⑸ 只要上街，我就去书店。

⑹ 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。

⑺ 如果林芳在家里，那么他不是在做作业就是在看电视。

⑻ 三角形三条边相等是三个角相等的充分条件。

⑼ 我进城的必要条件是我有时间。

⑽ 他唱歌的充分必要条件是心情愉快。

⑾ 小王总是在图书馆看书，除非他病了或者图书馆不开门。

解⑴ p ：逻辑是枯燥无味的。

“逻辑不是枯燥无味的”符号化为 ?p 。

⑵ p ：我看见的是小张。

q ：我看见的是老李。

“我看见的既不是小张也不是老李”符号化为q p ?∧?。

⑶ p ：他生于1963年。

q ：他生于1964年。

“他生于1963年或1964年”符号化为p ⊕ q 。

⑷ p ：害怕困难。

q ：战胜困难。

“只有不怕困难，才能战胜困难”符号化为q → ? p 。

⑸ p ：我上街。

q ：我去书店。

“只要上街，我就去书店”符号化为p → q 。

⑹ p ：小杨晚上做完了作业。

q ：小杨晚上没有其它事情。

r ：小杨晚上看电视。

s ：小杨晚上听音乐。

“如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为s r q p ∨→∧。

⑺ p ：林芳在家里。

q ：林芳做作业。

r ：林芳看电视。

“如果林芳在家里，那么他不是在做作业就是在看电视”符号化为r q p ∨→。

⑻ p ：三角形三条边相等。

习题一1.下列句子中,哪些是命题？在是命题的句子中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四大发明.答：此命题是简单命题，其真值为1.（2是无理数.答：此命题是简单命题，其真值为1.（3）3是素数或4是素数.答：是命题，但不是简单命题，其真值为1.x+<（4）235答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2与3是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的面积等于半径的平方乘以π.答：此命题是简单命题，其真值为1.（11）只有6是偶数，3才能是2的倍数.答：是命题，但不是简单命题，其真值为0.（12）8是偶数的充分必要条件是8能被3整除.答：是命题，但不是简单命题，其真值为0.（13）2008年元旦下大雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四大发明.（2）p:错误!未找到引用源。

是无理数.（7）p:刘红与魏新是同学.（10）p:圆的面积等于半径的平方乘以π.（13）p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（1是有理数.是无理数.p.q.其否定式q的真值为1.（2不是无理数.答：是有理数. p 不是无理数. q 是有理数. 其否定式q 的真值为1.（3）2.5是自然数.答：否定式：2.5不是自然数. p ：2.5是自然数. q ：2.5不是自然数. 其否定式q 的真值为1.（4）ln1是整数.答：否定式：ln1不是整数. p ：ln1是整数. q ：ln1不是整数. 其否定式q 的真值为1.4.将下列命题符号化，并指出真值. （1）2与5都是素数答：p ：2是素数，q ：5是素数，符号化为p q ∧，其真值为1.（2）不但π是无理数，而且自然对数的底e 也是无理数.答：p ：π是无理数，q ：自然对数的底e 是无理数，符号化为p q ∧，其真值为1. （3）虽然2是最小的素数，但2不是最小的自然数.答：p ：2是最小的素数，q ：2是最小的自然数，符号化为p q ∧⌝，其真值为1. （4）3是偶素数.答：p ：3是素数，q ：3是偶数，符号化为p q ∧，其真值为0. （5）4既不是素数，也不是偶数.答：p ：4是素数，q ：4是偶数，符号化为p q ⌝∧⌝，其真值为0. 5.将下列命题符号化，并指出真值. （1）2或3是偶数. （2）2或4是偶数. （3）3或5是偶数.（4）3不是偶数或4不是偶数. （5）3不是素数或4不是偶数.答: p ：2是偶数，q ：3是偶数，r :3是素数，s :4是偶数, t :5是偶数 (1) 符号化: p q ∨，其真值为1. (2) 符号化：p r ∨，其真值为1. (3) 符号化：r t ∨，其真值为0. (4) 符号化：q s ⌝∨⌝，其真值为1.(5) 符号化：r s ⌝∨⌝，其真值为0. 6.将下列命题符号化.（1）小丽只能从筐里拿一个苹果或一个梨.答：p ：小丽从筐里拿一个苹果，q ：小丽从筐里拿一个梨，符号化为: p q ∨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：p ：刘晓月选学英语，q ：刘晓月选学日语，符号化为: ()()p q p q ⌝∧∨∧⌝. 7.设p ：王冬生于1971年，q ：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以化答:列出两种符号化的真值表：p q0 0 0 00 1 1 11 0 1 11 1 0 1根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.（1）只要错误!未找到引用源。

离散数学（第五版）清华大学出版社第1章习题解答1．1除（3），（4），（5），（11）外全是命题，其中，（1），（2），（8），（9），（10），（14），（15）是简单命题，（6），（7），（12），（13）是复合命题。

分析首先应注意到，命题是陈述句，因而不是陈述句的句子都不是命题。

本题中，（3）为疑问句，（5）为感叹句，（11）为祈使句，它们都不是陈述句，所以它们都不是命题。

其次，4）这个句子是陈述句，但它表示的判断结果是不确定。

又因为（1），（2），（8），（9），（10），（14），（15）都是简单的陈述句，因而作为命题，它们都是简单命题。

（6）和（7）各为由联结词“当且仅当”联结起来的复合命题，（12）是由联结词“或”联结的复合命题，而（13）是由联结词“且”联结起来的复合命题。

这里的“且”为“合取”联结词。

在日常生活中，合取联结词有许多表述法，例如，“虽然……，但是……”、“不仅……，而且……”、“一面……，一面……”、“……和……”、“……与……”等。

但要注意，有时“和”或“与”联结的是主语，构成简单命题。

例如，（14）、（15）中的“与”与“和”是联结的主语，这两个命题均为简单命题，而不是复合命题，希望读者在遇到“和”或“与”出现的命题时，要根据命题所陈述的含义加以区分。

1．2（1）p:2是无理数，p为真命题。

（2）p:5能被2整除，p为假命题。

（6）p→q。

其中，p:2是素数，q：三角形有三条边。

由于p与q都是真命题，因而p→q为假命题。

（7）p→q，其中，p：雪是黑色的，q：太阳从东方升起。

由于p为假命可编辑范本题，q为真命题，因而p→q为假命题。

（8）p:2000年10月1日天气晴好，今日（1999年2月13日）我们还不知道p的真假，但p的真值是确定的（客观存在的），只是现在不知道而已。

（9）p：太阳系外的星球上的生物。

它的真值情况而定，是确定的。

1（10）p：小李在宿舍里. p的真值则具体情况而定，是确定的。

离散数学第二版邓辉文编著第一章第二节习题答案1.2 映射的有关概念习题1.21. 分别计算⎡1. 5⎤，⎡-1⎤，⎡-1. 5⎤，⎣1. 5⎦，⎣-1⎦，⎣-1. 5⎦.解⎡1. 5⎤=2，⎡-1⎤=-1，⎡-1. 5⎤=-1，⎣1. 5⎦=1，⎣-1⎦=-1，⎣-1. 5⎦=-2.2. 下列映射中，那些是双射? 说明理由.(1)f :Z →Z , f (x ) =3x .(2)f :Z →N , f (x ) =|x |+1.(3)f :R →R , f (x ) =x 3+1.(4)f :N ⨯N →N , f (x 1, x 2) =x 1+x 2+1.(5)f :N →N⨯N , f (x ) =(x , x +1).解 (1)对于任意对x 1, x 2∈Z，若f (x 1) =f (x 2) ，则3x 1=3x 2，于是x 1=x 2，所以f 是单射. 由于对任意x ∈Z，f (x ) ≠2∈Z，因此f 不是满射，进而f 不是双射.(2)由于2, -2∈Z且f (2) =f (-2) =3，因此f 不是单射. 又由于0∈N，而任意x ∈Z均有f (x ) =|x |+1≠0，于是f 不是满射. 显然，f 不是双射.(3)对于任意对x 1, x 2∈R，若f (x 1) =f (x 2) ，则x 1+1=x 2+1，于是x 1=x 2，所以f 是单射. 对于任意y ∈R，取x =(y -1) ，这时1⎡⎤3f (x ) =x +1=⎢(y -1) 3⎥+1=(y -1) +1=y ，⎣⎦33313所以f 是满射. 进而f 是双射.(4)由于(1, 2), (2, 1) ∈N⨯N 且(1, 2) ≠(2, 1) ，而f (1, 2) =f (2, 1) =4，因此f 不是单射. 又由于0∈N，而任意(x 1, x 2) ∈N⨯N 均有f (x 1, x 2) =x 1+x2+1≠0，于是f 不是满射. 显然，f 就不是双射.(5)由于x 1, x 2∈N，若f (x 1) =f (x 2) ，则(x 1, x 1+1) =(x 2, x 2+1) ，于是x 1=x 2，因此f 是单射. 又由于(0, 0) ∈N⨯N ，而任意x ∈N均有f (x ) =(x , x +1) ≠(0, 0) ，于是f 不是满射. 因为f 不是满射，所以f 不是双射.3. 对于有限集合A 和B ，假定f :A →B且|A |=|B |，证明: f 是单射的充要条件是f 是满射. 对于无限集合，上述结论成立吗？举例说明.证(⇒) 因为f 是单射，所以|A |=|f (A ) |. 由于|A |=|B |，所以|f (A ) |=|B |. 又因为B 有限且f (A ) ⊆B ，故f (A ) =B ，即f 是满射.(⇐) 若f 是满射，则f (A ) =B . 由于|A |=|B |，于是|A |=|f (A ) |. 又因为A 和B 是有限集合，因此f 是单射.对于无限集合，上述结论不成立. 例如f :N →N，f (x ) =2x ，f 是单射，但f 不是满射.4. 设f :A →B , 试证明:(1)f I B =f .(2)I A f =f .特别地，若f :A →A，则f I A =I A f =f .证 (1)对于任意x ∈A，由于f (x ) ∈B，所以(f I B )(x ) =I B (f (x )) =f (x ) ，因此f I B =f .(2)对于任意x ∈A，由于I A (x ) =x ，所以(I A f )(x ) =f (I A (x )) =f (x ) ，于是有I A f =f .由(1)和(2)知，若f :A →A，则f I A =I A f =f .5. 试举出一个例子说明f f =f 成立，其中f :A →A且f ≠I A . 若f 的逆映射存在，满足条件的f 还存在吗?解令A ={a , b , c }，f (a ) =f (b ) =f (c ) =a ，即对于任意x ∈A，f (x ) =a ，显然f :A →A且f ≠I A . 而对于任意x ∈A，有(f f )(x ) =f (f (x )) =f (a ) =a ，因此f f =f .若f f =f 且f 的逆映射f -1存在，由第3题知f f =f =f I A ，所以-1-1于是利用定理7有(f f ) f =(f f ) I A ，f -1 (f f ) =f -1 (f I A ) ，进而I A f =I A I A ，因此f =I A . 所以若f 的逆映射存在，满足条件的f 不存在.6. 设f :A →B , g :B →C . 若f 和g 是满射，则f g 是满射，试证明.证因为f 是满射，所以f (A ) =B . 又因为g 是满射，所以g (B ) =C . 于是(f g ) (A ) =g (f (A )) =g (B ) =C ，因此f g 是A 到C 的满射.另证对于任意z ∈C，因为g 是满射，于是存在y ∈B使得g (y ) =z . 又因为f 是满射，存在x ∈A使得f (x ) =y . 因此，(f g )(x ) =g (f (x )) =g (y ) =z ，所以f g 是A 到C 的满射.7. 设f :A →B , g :B →C . 试证明: 若f g 是单射，则f 是单射. 试举例说明，这时g 不一定是单射.证对于任意x 1, x 2∈A，假定f (x 1) =f (x 2) ，则显然g (f (x 1)) =g (f (x 2)) ，即(f g )(x 1) =(f g )(x 2) . 因为f g 是单射，所以x 1=x 2，于是f 是单射.例如A ={a , b }，B ={1, 2, 3}，C ={α,β,γ,δ}，令f (a ) =1, f (b ) =2，g (1) =α, g (2) =β, g (3) =β，则显然有(f g )(a ) =g (f (a )) =g (1) =α, (f g )(b ) =g (f(b )) =g (2) =β,于是f g 是A 到C 的单射，但g 显然不是单射.8. 设f :A →B , 若存在g :B →A，使得f g =I A 且g f =I B ，试证明: f 是双射且f -1=g .证因为f g =I A ，而I A 是单射，所以f 是单射. 又因为g f =I B ，而I B 是满射，所以f 是满射. 因此f 是双射.由于f 是双射，所以f而(f -1-1存在. 因为f g =I A ，于是f -1 (f g ) =f -1 I A . f ) g =f -1 I A 且I B g =f -1，所以有f -1=g .9. 设f :A →B , g :B →C . 若f 和g 是双射，则f g 是双射且(f g ) -1=g -1 f -1.-1-1证根据定理4(1)(2)知，f g 是双射. 下证(f g ) =g f -1. 因为(f g ) (g -1 f -1) =f (g g -1) f -1=f I B f -1=f f -1=I A ， (g -1 f -1) (f g ) =g -1 (f -1 f ) g =g -1 I B g =g -1 g =I C ，在上面的推导中多次利用了定理7. 由第7题知，(f g ) -1=g -1 f10. 设G 是集合A 到A 的所有双射组成的集合，证明(1)任意f , g ∈G，有f g ∈G .(2)对于任意f , g , h ∈G，有(f g ) h =f (g h ).(3)I A ∈G且对于任意f ∈G，有I A f =f I A =f .(4)对于任意f ∈G，有f -1-1. ∈G且f f -1=f -1 f =I A .证 (1)由定理5.(2)由定理7.(3)由第3题.(4)由定理4.11. 若A = {a , b , c }, B = {1, 2}, 问A 到B 的满射、单射、双射各有多少个? 试推广你的结论.解将A 中的3个元素对应到B 中的2个元素，相当于将3个元素分成2部分，共有3种分法; 在计算A 到B 的满射个数时还需要将B 中元素进行排列，共有2种排列方式，于是A 到B 的满射共有3⨯2=6个(请自己分别写出A 到B 的6个满射).由于|A |=3, |B |=2，所以A 到B 的单射没有，进而A 到B 的双射也没有. 假设|A |=m , |B |=n .(1) A到B 的满射若m(2) A到B 的单射若m >n ，不存在单射；若m ≤n，由于B 中任意选取m 个m 元素，再将其进行全排列都得到A 到B 的单射，故A 到B 的单射共有C n ⋅m ! 个.(3)A 到B 的双射若m ≠n，不存在双射；若m =n ，此时B 中元素的任意一个排列均可得到一个A 到B 的双射，因此A 到B 的双射共有m ! 个.12. 设A , B , C , D 是任意集合，f 是A 到B 的双射， g 是C 到D 的双射，令h :A ⨯C →B⨯D ，对任意(a , c ) ∈A⨯C , h (a , c ) =(f (a ), g (c )). 证明:h 是双射.证对于任意(a 1, c 1) ∈A⨯C ，(a 2, c 2) ∈A⨯C ，假定h (a 1, c 1) =h (a 2, c 2) ，即(f (a 1), g (c 1)) =(f (a 2), g (c 2)) ，于是f (a 1) =f (a 2) 且g (c 1) =g (c 2) ，根据已知条件有a 1=a 2且c 1=c 2，进而(a 1, c 1) =(a 2, c 2) ，因此h 是单射.任意(b , d ) ∈B⨯D ，则b ∈B , d ∈D，由于f 是A 到B 的双射且g 是C 到D 的双射，于是存在a ∈A , c ∈C使得f (a ) =b , g (c ) =d ，因此h (a , c ) =(f (a ), g (c )) =(b , d ) ，所以h 是满射.故h 是双射.13. 设f :A →B , g :B →C , h :C →A，若f g h =I A ，g h f =I B ，h f g =I C ，则f , g , h 均可逆，并求出f -1, g -1, h -1.证因为恒等映射是双射，多次使用定理6即可得结论.由于f g h =I A ，所以f 是单射且h 是满射. 由于g h f =I B ，所以g 是单射且f 是满射. 由于h f g =I C ，所以h 是单射且g 是满射. 于是f , g , h 是双射，因此f , g , h 均可逆.由于f g h =I A ，所以f -1=g h 且h -1=f g ，进而g -1=h f .14. 已知Ackermann 函数A :N ⨯N →N的定义为(1)A (0, n ) =n +1, n ≥0;(2)A (m , 0) =A (m -1, 1), m >0;(3)A (m , n ) =A (m -1, A (m , n -1)), m >0, n >0.分别计算A (2, 3) 和A (3, 2) .解由已知条件有A (0, 1) =2，A (1, 0) =A (0, 1) =2，于是A (1, 1) =A (0, A (1, 0)) =A (0, 2) =2+1=3，A (1, 2) =A (0, A (1, 1)) =A (0, 3) =3+1=4，由此可进一步得出A (1, n ) =n +2，A (2, 0) =A (1, 1) =3，A (2, 1) =A (1, A (2, 0)) =A (1, 3) =3+2=5，A (2, 2) =A (1, A (2, 1)) =A (1, 5) =5+2=7， A (2, 3) =A (1, A (2, 2)) =A (1, 7) =7+2=9. 因此有A (2, n ) =2n +3，A (3, 0) =A (2, 1) =2⋅1+3=5，A (3, 1) =A (2, A (3, 0)) =A (2, 5) =2⋅5+3=13， A (3, 2) =A (2, A (2, 2)) =A (2,13) =2⋅13+3=29. 所以有A (2, 3) =9, A (3, 2) =29.。

第一章习题1．下列哪些语句是命题？(1) 黄山是在安徽省。

(2) 你会做这道题目吗？(3) 月球比地球大。

(4) 请关上窗户！(5) 如果1+2=5，我就去游泳。

(6) 只有6是偶数，3才能被2整除。

解：(1)，(3) ，(5) ，(6) 是命题，(2)，(4)分别是疑问句和命令句，它们不是命题。

2．给出下面命题的否定命题。

(1) 上海是一座城市。

解：该句的否定命题为：上海不是一座城市。

(2) 1+2=5并且2×3=6。

解：该句的否定命题为：1+2≠5或2×3≠6。

(3) 2是素数或3是偶数。

解：该句的否定命题为：2不是素数并且3不是偶数。

3．将下列命题符号化。

(1) 灯泡有故障或开关有故障。

解：P表示：灯泡有故障，Q表示：开关有故障，命题符号化为：P∨Q(2) 今天下大雨和3+3=6。

解：P表示：今天下大雨，Q表示：3+3=6，命题符号化为：P∧Q(3) 虽然天气炎热，老师坚持给我们上课。

解：P表示：天气炎热，Q表示：老师坚持给我们上课，命题符号化为：P∧Q(4) 他一边走路，一边看书。

解：P表示：他走路，Q表示：他看书，命题符号化为：P∧Q(5) 如果天下大雨，他就乘公共汽车上班。

解：P表示：天下大雨，Q表示：他乘公共汽车上班，命题符号化为：P→Q(6) 只有天下大雨，他才乘公共汽车上班。

解：P表示：天下大雨，Q表示：他乘公共汽车上班，命题符号化为：Q→P(7) 2＋2＝4当且仅当雪是白色的。

解：P表示：2＋2＝4，Q表示：雪是白色的，命题符号化为：P↔Q4．判断下列各蕴涵式是真是假。

(1) 若一周有八天，则3+2=5。

解：P表示：一周有八天，Q表示：3+2=5，命题符号化为：P→Q由于P为假，Q为真，P→Q为真，故该命题为真命题。

(2) 若一周有七天，则3+2≠5。

解：P表示：一周有七天，Q表示：3+2≠5，命题符号化为：P→Q由于P为真，Q为假，P→Q为假，故该命题为假命题。