《离散数学》课后习题解答--第5章
离散数学第五章习题答案
离散数学第五章习题答案题目1: 定义一个关系R在集合A上，如果对于所有的a, b, c属于A，满足以下条件：- 如果(a, b)属于R，则(b, a)属于R。
- 如果(a, b)属于R且(b, c)属于R，则(a, c)属于R。
证明R是传递的。
答案：根据题目给出的条件，R是对称的和传递的。
首先，对称性意味着如果(a, b)属于R，那么(b, a)也必须属于R。
其次，传递性意味着如果(a, b)和(b, c)都属于R，那么(a, c)也必须属于R。
结合这两个性质，我们可以得出结论：对于任意的a, b, c属于A，如果(a, b)和(b, c)都属于R，那么(a, c)也属于R，从而证明了R的传递性。
题目2: 给定一个函数f: A → B，如果对于A中的每个元素a，都有唯一的b属于B使得f(a) = b，那么称f为单射（或一一映射）。
证明如果函数f是单射，那么它的逆函数f^-1也是单射。
答案：要证明f^-1是单射，我们需要证明对于B中的任意两个元素b1和b2，如果f^-1(b1) = f^-1(b2)，则b1 = b2。
假设f^-1(b1) = a且f^-1(b2) = a'，其中a, a'属于A。
由于f是单射，我们知道f(a) = b1且f(a') = b2。
根据f^-1的定义，我们有b1 = f(a) = f(a') = b2。
因此，如果f^-1(b1) = f^-1(b2)，则b1必须等于b2，这证明了f^-1是单射。
题目3: 证明一个函数f: A → B是满射（或到上映射）当且仅当对于B中的每个元素b，都存在A中的元素a使得f(a) = b。
答案：首先，我们证明如果f是满射，那么对于B中的每个元素b，都存在A 中的元素a使得f(a) = b。
假设f是满射，这意味着B中的每个元素都是A中某个元素的像。
因此，对于B中的任意元素b，我们可以找到一个a属于A，使得f(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))是合式公式。
离散数学-第五章习题答案
习题答案（P151~P153）1．用枚举法给出下列集合解：（2）{-3，2}（4）{5，6，7，8，9，10，11，12，13，14，15}2．用抽象法说明下列集合解：（2）{x|x为素数，10<x<20}（4）{x|x为中国的省会}（6）{x|x=2k+1，k∈I}3．判断下列哪些∈关系成立，为什麽？解：根据只有集合中的元素才与该集合有∈关系，故（1）、（4）、（6）、（7）成立，（2）、（3）、（5）、（8）不成立。
4．判断下列哪些集合相等（全集是整数集合I）解：A=G，B=E，C=F6．写出下列集合的幂集解：（2）ρ（{1，∅}）={∅，{1}，{∅}，{1，∅}}（4）ρ（{∅，{a}，{∅}}）={∅，{∅}，{{a}}，{{∅}}，{∅，{a}}，{∅，{∅}}，{{a}，{∅}}，{∅，{a}，{∅}}}7．当把“⊆”插入空位时哪一个为真？解：（1）、（2）、（3）、（6）为真，（4）、（5）为假。
8．设A、B、C分别是集合，若A∈B，B∈C，哪麽A∈C一定成立吗？解：不一定，例如，A={a}，B={{a}}，C={{{a}}}，虽然A∈B，B∈C，但A∈C不成立。
10．设U={1，2，3，4，5}，A={1，4}，B={1，2，5}和C={2，4}试写出下列集合（8）ρ（A）-ρ（C）解：ρ（A）-ρ（C）={∅，{1}，{4}，{1，4}}-{∅，{2}，{4}，{2，4}}={{1}，{1，4}}11．证明下列恒等式（1）A-（B⋂C）=（A-B）⋃（A-C）（2）（A-B）⋂B=∅解：（1）A-（B⋂C）= A⋂~（B⋂C）= A⋂（~B⋃~C）=（A⋂~B）⋃（A⋂~C）=（A-B）⋃（A-C）（2）（A-B）⋂B=（A⋂~B）⋂B= A⋂（~B⋂B）= ∅12．设A、B、C是集合，下列等式成立的条件是什么？（1）（A-B）⋃（A-C）=A（2）（A-B）⋃（A-C）= ∅解：（1）因为（A-B）⋃（A-C）= （A⋂~B）⋃（A⋂~C）= A⋂（~B⋃~C）= A⋂~（B⋂C）= A-（B⋂C）所以（A-B）⋃（A-C）=A 当且仅当A-（B⋂C）=A 由-的定义可知A⋂（B⋂C）=∅（2）由（1）可知，（A-B）⋃（A-C）=A-（B⋂C）所以（A-B）⋃（A-C）=∅当且仅当A-（B⋂C）=∅由定理5.11可知A⊆（B⋂C）13. 设A，B是集合（1）A-B=B，问A和B有何关系？（2）A-B=B-A, 问A和B有何关系？解：（1）A=B=φ。
离散数学(第五版)清华大学出版社第5章习题解答
离散数学（第五版）清华大学出版社第5章习题解答5.1 A:③; B:⑥; C:⑧; D:⑩; E:⑨分析S 为n 元集,那么S×S有n2个元素.S 上的一个二元运算就是函数n2n2f:S×S→S.这样的函数有n 个.因此{a,b}上的二元运算有n =16个.下面说明通过运算表判别二元运算性质及求特导元素的方法.1 °交换律若运算表中元素关于主对角线成对称分布,则该运算满足交换律.2 °幂等律设运算表表头元素的排列顺序为x1,x2,Lxn,如果主对角线元素的排列也为x1,x2,Lxn,则该运算满足幂等律.其他性质,如结合律或者涉及到两个运算表的分配律和吸收律,在运算表中没有明显的特征,只能针对所有可能的元素x,y,z等来验证相关的算律是否成立.3 °幺元e设运算表表头元素的排列顺序为x1.,x2,Lxn,如果元素xi所在的行和列的元素排列顺序也是x1,x2,Lxn,则xi为幺元.4 °零元θ.如果元素xi所在的行和列的元素都是xi,则xi是零元.5 °幂等元.设运算表表头元素的排列顺序为x1,x2,Lxn,如果主对角线上第i个元素恰为xii∈{1,2,L,n}那么xi是幂等元.易见幺元和零元都是幂等元.6 °可逆元素及其逆元.设xi为任意元素,如果xi所在的行和列都有幺元,并且这两个幺元关于主对角线成对称分布,比如说第i行第j列和第j行第i列的两个位置,那么xj与xi互为逆元.如果xi所在的行和列具有共同的幺元,则幺元一定在主对角线上,那么xi的逆元就是xi自己.如果xi所在的和地或者所在的列没有幺元,那么x 不是可逆元素.不难看出幺元e一定是可逆元素,且e−1=e;而i零元θ不是可逆元素.以本题为例,f1,f2,f3的运算表是对称分布的,因此,这三个运算是可交换的,62而f4不是可交换的.再看幂等律.四个运算表表头元素排列都是a,b,其中主对角线元素排列为a,b的只有f4,所以, f4遵从幂等律.下面考虑幺元.如果某元素所在的行和列元素的排列都是a,b,该元素就是幺元.不难看出只有f2中的a满足这一要求,因此,a 是f2的幺元,其他三个运算都不存在幺元.最后考虑零元.如果a所在的行和列元素都是a,那么a就是零元;同样的,若b所在的行和列元素都是b,那么b 就是零元.检查这四个运算表,f1中的a满足要求,是零元,其他运算都没有零元.在f4的运算表中,尽管a和b的列都满足要求,但行不满足要求.因而f4中也没有零元.5.2 A:①; B:③; C:⑤; D:⑦; E:⑩分析对于用解析表达式定义的二元运算°和*,差别它们是否满足交换律,结合律,幂等律,分配律和吸收律的方法总结如下:任取x,y,根据°运算的解析表达式验证等式xoy=yox是否成立.如果成立°运算就满足交换律.2 ° °运算的地合律任取x,y,z根据°运算的解析表达式验证等式(xoy)oz=xo(yoz)是否成立. 如果成立, °运算就是可结合的.3 ° °运算的幂等律任取x,根据°运算的解析表达式验证等式xox=x是否成立.如果成立,°运算满足幂等律.4 ° °运算对*运算的分配律任取x,y,z , 根据°和* 运算的解析表达式验证等式xo(y*z)=(xoy)*(xoz)和(y*z)ox=(yox)*(zox)是否成立。
《离散数学》(左孝凌 李为鉴 刘永才编著)课后习题答案 上海科学技术文献出版社
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-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的对边平行。
PQf) 设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) 是合式公式。
《离散数学》课后习题答案
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-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⇔Tb)┐P→(P→Q)⇔P∨(┐P∨Q)⇔ (P∨┐P)∨Q⇔T∨Q⇔Tc)((P→Q)∧(Q→R))→(P→R)因为(P→Q)∧(Q→R)⇒(P→R)所以(P→Q)∧(Q→R)为重言式。
d)((a∧b)∨(b∧c) ∨(c∧a))↔(a∨b)∧(b∨c)∧(c∨a)因为((a∧b)∨(b∧c)∨(c∧a))⇔((a∨c)∧b)∨(c∧a)⇔((a∨c)∨(c∧a))∧(b∨(c∧a))⇔(a∨c)∧(b∨c)∧(b∨a)所以((a∧b)∨(b∧c) ∨(c∧a))↔(a∨b)∧(b∨c)∧(c∨a)为重言式。
（2）证明：a)(P→Q)⇒P→(P∧Q)解法1：设P→Q为T（1）若P为T，则Q为T，所以P∧Q为T，故P→(P∧Q)为T（2）若P为F，则Q为F，所以P∧Q为F，P→(P∧Q)为T命题得证解法2：设P→(P∧Q)为F ，则P为T，(P∧Q)为F ，故必有P为T，Q为F ，所以P→Q为F。
解法3：(P→Q) →(P→(P∧Q))⇔┐(┐P∨Q)∨(┐P∨(P∧Q))⇔┐(┐P∨Q)∨((┐P∨P)∧(┐P∨Q))⇔T所以(P→Q)⇒P→(P∧Q)b)(P→Q)→Q⇒P∨Q设P∨Q为F，则P为F，且Q为F，故P→Q为T，(P→Q)→Q为F，所以(P→Q)→Q⇒P∨Q。
c)(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成立。
（3）解：a) P→Q表示命题“如果8是偶数，那么糖果是甜的”。
离散数学习题解答(第五章)格与布尔代数
离散数学习题解答习题五（第五章 格与布尔代数）1．设〈L ，≼〉是半序集，≼是L 上的整除关系。
问当L 取下列集合时，〈L ，≼〉是否是格。
a) L={1，2，3，4，6，12}b) L={1，2，3，4，6，8，12}c) L={1，2，3，4，5，6，8，9，10}[解] a) 〈L ，≼〉是格，因为L 中任两个元素都有上、下确界。
b) 〈L ，≼〉不是格。
因为L 中存在着两个元素没有上确界。
例如：812=LUB{8，12}不存在。
126312 4c) 〈L ，≼〉不是格。
因为L 中存在着两个元素没有上确界。
倒例如：46=LUB{4，6}不存在。
2．设A ，B 是两个集合，f 是从A 到B 的映射。
证明：〈S ，⊆〉是〈2B，⊆〉的子格。
其中S={y|y=f (x)，x ∈2A }[证] 对于任何B 1∈S ，存在着A 1∈2A ，使B 1=f （A 1），由于f(A 1)={y|y ∈B ∧(x)(x 863 124 12 10 84 2 6 973 1 5 10∈A1∧f (x)=y)}⊆B 所以B1∈2B，故此S⊆2B；又B0=f (A)∈S (因为A∈2A)，所以S非空；对于任何B1，B2∈S，存在着A1，A2∈2A，使得B1=f (A1)，B2=f (A2)，从而L∪B{B1，B2}=B1∪B2=f (A1)f (A2)=f (A1∪A2) （习题三的8的1））由于A1∪A2⊆A，即A1∪A2∈2A，因此f (A1∪A2)∈S，即上确界L∪B{B1，B2}存在。
对于任何B1，B2∈S，定义A1=f –1(B1)={x|x∈A∧f (x)∈B1}，A2=f-1(B2)={x|x∈A∧f (x)∈B2}，则A1，A2∈2A，且显然B1=f (A1)，B2=f (A2)，于是GLB{B1，B2}=B1∩B2=f (A1)∩f (A2)⊇f (A1∩A2) （习题三的8的2））又若y∈B1∩B2，则y∈B，且y∈B2。
离散数学第五章集合及其运算习题答案
h00 0 10000
习题四 15
b
e
求关系图对应的关系矩阵,
并求其传递闭包
d
a
c
f
ab c de f gh
h
g
a01 0 00000
b00 1 00000
c11 0 00000
d00 0 01000
e00 0 00100
f 00 0 00010
g00 0 00001
h00 0 10000
习题四 15
d
a
c
f
ab c de f gh
h
g
a01 1 00000
b00 1 00000
c11 1 00000
d00 0 01000
e00 0 00100
f 00 0 00010
g00 0 00001
h00 0 10000
习题四 15
b
e
求关系图对应的关系矩阵,
并求其传递闭包
d
a
c
f
ab c de f gh
求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四15求关系图对应的关系矩阵并求其传递闭包习题四16sr2证明
离散数学第四版 课后答案
离散数学第四版课后答案第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【多选题】(100分)本教材的《离散数学》有下列（）内容.A.初等数论B.图论基础C.代数结构D.命题逻辑与谓词逻辑E.组合计数F.集合与关系第一章测试1【单选题】(10分)设，则有两个块的划分有（）种.A.6B.8C.5D.72【单选题】(10分)设，则=().A.B.C.D.3【单选题】(10分)设是正整数,定义Z上模加法运算“”和模乘法运算“”如下：对于任意,，则()A.B.C.D.4【单选题】(10分)令,若是单射,则().A.是满射B.是单射C.是满射D.是单射5【单选题】(10分)函数的复合运算“”满足()A.消去律B.交换律C.结合律D.幂等律6【单选题】(10分)设N是自然数集，对于任意,定义N到N的对应关系如下:对于任意，,则()A.不是函数B.仅是单射C.仅是满射D.是双射7【单选题】(10分)设,则可定义到的函数()个。
A.6B.8C.2D.38【单选题】(10分)设,则=().A.B.C.D.9【单选题】(10分)设集合中有个元素，则的子集有()个.A.B.C.D.10【单选题】(10分)设,下列()是的.A.B.C.D.第二章测试1【单选题】(10分)设={1,2,3},上二元关系={(1,1)，(2,2),(1,3)}，则关系的对称闭包是()A.B.C.D.2【单选题】(10分)设,是上恒等关系，要使为上的等价关系,应取().A.B.C.D.3【单选题】(10分)设和是集合上的相容关系，下列关于复合关系的说法正确的是()A.一定不是相容关系B.一定是等价关系C.一定是相容关系D.可能是也可能不是相容关系4【单选题】(10分)设偏序集的哈斯图见下图,的上确界和下确界分别为().A.B.C.D.5【单选题】(10分)若,则上的关系共有()个.A.8B.32C.16D.46【单选题】(10分)设={0,1,2,3,4}，上的关系，则=().A.{(0,0),(1,0),(1,2),(2,1),(2,4),(3,2),(4,3)}B.{(0,1),(2,1),(2,3),(3,4)}C.{(0,0),(0,1),(1,2),(2,1),(2,3),(2,4),(3,4)}D.{(0,1),(1,2),(2,1),(2,3),(2,4),(3,4)}7【单选题】(10分)设，则下述结论正确的是().A.若和是自反的，则是自反的.B.若和是对称的，则是对称的.C.若和是传递的，则是传递的.D.若和是反对称的，则是反对称的.8【单选题】(10分)设，上二元关系的关系图如下,具有的性质是（）A.反自反性B.对称性C.自反性D.传递性9【单选题】(10分)设集合={1,2,3,4,5}上的关系，则的性质是().A.自反的B.对称的C.反自反的、传递的D.对称的、传递的10【单选题】(10分)设,上关系，则的运算结果是（）.A.B.C.D.第三章测试1【单选题】(10分)下列语句()是命题.A.B.中国碳基半导体芯片领先世界.C.什么是区块链技术?D.玩《王者荣耀》网络游戏时间过得好快！2【单选题】(10分)“很多人都喜欢骑自行车”的否定是（）A.有些人不喜欢骑自行车B.并不是很多人都喜欢骑自行车C.很多人不喜欢骑自行车D.少数人喜欢骑自行车3【单选题】(10分)设：我们游泳，：我们玩游戏,则命题“我们不能既游泳又玩游戏”符号化为()A.B.C.D.4【单选题】(10分)下列命题公式()是永真式.A.B.C.D.5【单选题】(10分)命题公式与()等值.A.B.C.D.6【单选题】(10分)下列()组命题公式是等值的.A.B.C.D.7【单选题】(10分)命题公式的主合取范式为().A.B.C.D.8【单选题】(10分)下面()是功能完备联接词集合.A.B.C.D.9【单选题】(10分)对于命题公式，则由可得出().A.B.C.D.10【单选题】(10分)对于命题公式，则由可得出().A.B.C.D.第四章测试1【单选题】(10分)有和可推出().A.B.C.D.2【单选题】(10分)的前束范式为A.B.C.D.3【单选题】(10分)在谓词逻辑中，下列各式中正确的是().A.B.C.D.4【单选题】(10分)谓词公式是().A.中性式B.永真式C.无法确定D.永假式5【单选题】(10分)设个体域是整数集Z，则下列命题（）的真值为真.A.B.C.D.6【单选题】(10分)设是实数，，则“不存在最大实数”可符号化为().A.B.C.D.7【单选题】(10分)令是金子，是闪光的，则命题“闪光的未必是金子”符号化为().A.B.C.D.8【单选题】(10分)令是老虎，要吃人,将“凡是老虎都是要吃人的”符号化为().A.B.C.D.9【单选题】(10分)谓词公式中的().A.既是约束变元又是自由变元B.既非约束变元又非自由变元C.只是约束变元D.只是自由变元10【单选题】(10分)谓词公式中量词的辖域为（）A.B.C.D.第五章测试1【判断题】(10分)对于整除关系“|”，有0|0.A.对B.错2【单选题】(10分)下列()是15的所有因数集合.A.{-15,-5,-3,-1,1,3,5,15}B.{-15,-5,-3,-1}C.{-5,-3,-1,1,3,5}D.{1,3,5,15}3【单选题】(10分)下述()是正确的.A.7(mod6)=3B.-7(mod6)=5C.-49(mod6)=1D.58(mod6)=24【单选题】(10分)对于正整数，用表示小于等于且与互素的正整数个数，则=().A.2B.3C.4D.15【单选题】(10分)对于正整数，用表示小于等于且与互素的正整数个数.对于不同素数和，下面()是正确的.A.B.C.D.6【单选题】(10分)设是素数，则关于模乘法运算“”().A.每个元素都有逆元B.每个元素都没有逆元C.每个非零元素都有逆元D.每个非零元素都没有逆元7【单选题】(10分)gcd(2035,2019)=().A.19B.35C.2D.18【单选题】(10分)下列各式中，()为真.A.445≡536(mod18).B.446≡278(mod7).C.383≡126(mod15).D.2019≡1883(mod17).9【单选题】(10分)线性同余方程3≡5(mod8)的解为=().A.5B.3C.7D.810【单选题】(10分)线性同余方程的解为=().A.8,6B.1,4C.8,2D.2,6第六章测试1【单选题】(10分)5阶完全无向图的边有()条.A.20B.5C.10D.2【单选题】(10分)无向图有6条边，各有一个3度和5度节点，其余均为2度节点，则的阶数为().A.4B.5C.3D.63【单选题】(10分)3阶完全无向图的不同构的生成子图有()A.5B.4C.3D.4【单选题】(10分)一个简单无向图图,若,则称为自补图.下列()是自补图.A.B.C.D.5【单选题】(10分)在下图中，节点到节点的所有路径有()条.A.7B.6C.8D.56【单选题】(10分)下图的点连通度为().A.5B.4C.3D.27【单选题】(10分)下列各有向图（）是强连通图.A.B.C.D.8【单选题】(10分)有向图是单向连通图当且仅当（）.A.中有通过每个节点至少一次的回路B.中至少有一条回路C.中至少有一条路D.中有通过每个节点至少一次的路9【单选题】(10分)设有向图，，若的邻接矩阵,则的出度和入度分别为().A.3,3B.2,4C.2,3D.1,210【单选题】(10分)在下图中，到的最短路径的权是().A.13B.15C.17D.11第七章测试1【单选题】(10分)下图的节点着色数().A.2B.4C.5D.32【单选题】(10分)捕获6名间谍会汉语、法语和日语,会德语、日语和俄语,会英语和法语,会汉语和西班牙语,会英语和德语,会俄语和西班牙语.将这6人用两个房间和监禁可以使得在同一房间里的任意两人不能相互直接交谈,这时().A.B.C.D.3【单选题】(10分)设是连通平面图，中有7个节点3个面，则的边数是().A.8B.6C.9D.74【单选题】(10分)一棵树有3个5度点、1个4度点、3个2度点，其它的点都是1度，那么它的边数是（）A.19B.C.17D.205【单选题】(10分)下面边赋权图的最小生成树的权为().A.41B.39C.40D.38【单选题】(10分)从6阶完全无向图至少要删除()条边可得到其生成树.A.5B.6C.15D.107【单选题】(10分)不同构的5阶无向树有()棵.A.3B.2C.4D.58【单选题】(10分)设是阶简单无向图，则下列说法不正确的是().A.若是欧拉图，则中必有桥B.若是无向树，则其边数等于C.若中任意一对顶点的度数之和大于等于，则中有Hamilton路D.若中有欧拉路，则是连通图且有零个或两个奇度数顶点9【单选题】(10分)下面既是汉密尔顿图又是欧拉图的图形是().A.B.C.D.10【单选题】(10分)下列图（）是欧拉图.A.B.C.D.第八章测试1【单选题】(10分)将四个人分成两个组，有()种不同的分组方法.A.5B.4C.7D.62【单选题】(10分)在平面上15个点，且任意三个点都不在同一条直线上，通过这些点可以得到()个位置不同的三角形.A.B.C.D.3【单选题】(10分)6个人围圆桌有()就座方式.A.6!B.6·5!C.5!D.4!4【单选题】(10分)五男五女圆桌交替就座的方式有()种.A.4!5!B.5!C.4!D.5!6!5【单选题】(10分)在平面上15个点，且任意三个点都不在同一条直线上，通过这些点可以确定()条不同直线.A.21B.105C.35D.156【单选题】(10分)现有黄球两只，白球和红球各一只，共有()种不同的选球方式.A.12B.9C.10D.117【单选题】(10分)有六个数字，其中三个1，两个2，一个3，能组成四位数的个数为().A.40B.38C.37D.398【单选题】(10分)某人举步上楼梯，每步跨1个台阶或2个台阶，设上个台阶的不同方式数为，则().A.初始条件为,递归关系为.B.初始条件为,递归关系为.C.初始条件为,递归关系为.D.初始条件为,递归关系为.9【单选题】(10分)设平面上有条直线，其中无两线平行也无三线共点，用表示平面被这条直线分成的连通区域，则().A.B.C.D.10【单选题】(10分)在初始条件下，递归关系的解为().A.B.C.D.第九章测试1【单选题】(10分)Z为整数集,为的幂集为,为数的加、减、除运算,∩为集合的交运算，下列()是代数结构.A.B.C.D.2【单选题】(10分)下列集合关于运算“*”，()是群.A.=Q,“*”是数的乘法.B.={0,1,3,5},“*”是模7加法.C.={1,3,4,5,9},“*”是模11乘法.D.=Z,“*”是数的减法.3【单选题】(10分)在群中,元素2的阶为().A.2B.4C.3D.64【单选题】(10分)设i是虚数，·是复数乘法运算，则={1,-1,i,-i}关于·构成群，下列()是的子群.A.B.C.D.5【单选题】(10分)设是群，且，则下列()命题是不成立的.A.中有幺元B.中任一元素有逆元C.中有零元D.中除了幺元外无其他元素满足6【单选题】(10分)设是有限循环群，则下列说法不正确的是A.设是的生成元，则对任意正整数，存在正整数使B.中存在一元素，使中任意元素都是的某整数方幂组成C.有限循环群中的运算满足交换律D.的生成元是唯一的7【单选题】(10分)半群、群及独异点的关系是（）.A.{独异点}⊂{半群}⊂{群}B.{半群}⊂{群}⊂{独异点}C.{群}⊂{独异点}⊂{半群}D.{独异点}⊂{群}⊂{半群}8【单选题】(10分)域与整环的关系为().A.域不是整环B.域是整环C.整环不是域D.整环是域9【单选题】(10分)下列四个格中，()是分配格.A.B.C.D.。
《离散数学》(左孝凌李为鉴刘永才编著)课后习题集标准答案上海科学技术文献出版社
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))是合式公式。
离散数学课后答案五
5.1习题参考答案1、阮允准同学提供答案:解：设度数小于3的结点有x个，则有3×4＋4×3＋2x≥2×16解得：x≥4所以度数小于3的结点至少有4个所以G至少有11个结点2、阮允准同学答案：证明：由题意可知：度数为5的结点数只能是0,2，4,6，8。
若度数为5的结点数为0,2，4个，则度数为6的结点数为9，7,5个结论成立。
若度数为5的结点数为6,8个，结论显然成立。
由上可知，G中至少有5个6度点或至少有6个5度点。
3、晓津证明如下：设简单图有n个结点，某结点的度为最大度，因为简单图任一结点没有平行边，而任一结点的的边必连有另一结点，则其最多有n-1条边与其他结点相连，因此其度数最多只有n-1条，小于结点数n.4 \阮同学给出证明如下：证明：设G中所有结点的度数都小于3，即每个结点度数都小于等于2，则所有结点度数之和小于等于2n，所以G的边数必小于等于n，这和已知G有n+1条边相矛盾。
所以结论成立。
5、试证明下图中两个图不同构。
晓津证明：同构的充要条件是两图的结点和边分别存在一一对应且保持关联关系。
我们可以看出，(a)图和(b)图中都有一个三度结点，(a)图中三度结点的某条边关联着两个一度结点和一个二度结点，而(b)图中三度结点关联着两个二度结点和一个一度结点，因此可断定二图不是同构的。
6、画出所有5个结点3条边，以及5个结点7条边的简单图。
解：如下图所示：(晓津与阮同学答案一致)7、证明：下图中的图是同构的。
证明如下：在两图中我们可以看到有a→e,b→h,c→f,d→g两图中存在结点与边的一一对应关系，并保持关联关系。
8、证明：下面两图是同构的。
阮同学给出证明如下：证明：找出对应关系：a---q, b----r, c-----s, d----t, e-----u,f------v, g-----w, h----x9、证明：三次正则图必有偶数个结点。
阮同学证明如下：由题意可知每个结点度数都是3度，即每个结点均为奇结点，根据有偶数个奇结点可知，三次正则图必有偶数个奇结点。
离散数学课后习题答案_(左孝凌版)
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的对边平行。
PQf) 设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) ）e) 不是合式公式（R和S之间缺少联结词）f) 是合式公式。
离散数学(屈婉玲)答案-1-5章
离散数学(屈婉玲)答案-1-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所以公式类型为永真式//最后一列全为1（5）公式类型为可满足式（方法如上例）//最后一列至少有一个1（6）公式类型为永真式（方法如上例）//第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.主析取范式为∑(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 ⑤⑥拒取式证明（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)在两个个体域中都解释为)(x∀，在（a）中为假命题，在(b)中为真命xF题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
习题5.11.设A=⎨a,b,c⎬，B=⎨1,2,3⎬，试说明下列A到B二元关系，哪些能构成A到B的函数？⑴f1=⎨<a,1>,<a,2>,<b,1>,<c,3>⎬⑵f2=⎨<a,1>,<b,1>,<c,1>⎬⑶f3=⎨<a,2>,<c,3>⎬⑷f4=⎨<a,3>,<b,2>,<c,3>,<b,3>⎬⑸f5=⎨<a,2>,<b,1>,<b,2>⎬解：⑴不能构成函数。
因为<a,1>∈f1且<a,2>∈f1⑵能构成函数⑶不能构成函数。
因为dom f3≠A⑷不能构成函数。
因为<b,2>∈f4且<b,3>∈f4⑸能构成函数。
2.试说明下列A上的二元关系，哪些能构成A到A的函数？⑴A=N(N为自然数集合)，f1=⎨<a,b>| a∈A∧b∈A∧a＋b＜10⎬⑵A=R(R为实数集合)，f2=⎨<a,b>| a∈A∧b∈A∧b=a2⎬⑶A=R(R为实数集合)，f3=⎨<a,b>| a∈A∧b∈A∧b2=a⎬⑷A=N(N为自然数集合)，f4=⎨<a,b>| a∈A∧b∈A∧b为小于a的素数的个数⎬⑸A=Z(Z为整数集合)，f5=⎨<a,b>| a∈A∧b∈A∧b=|2a|＋1⎬解：⑴不能构成函数。
由于1+1＜10且1+2＜10，所以<1,1>∈f1且<1,2>∈f1。
⑵能构成函数。
⑶不能构成函数。
由于12=1且(-1)2=1，所以<1,1>∈f3且<1,-1>∈f3。
⑷能构成函数。
⑸能构成函数。
3. 回答下列问题。
⑴设A=⎨a,b⎬，B=⎨1,2,3⎬。
求B A，验证|B A|= |B||A|。
⑵设A=⎨a,b⎬，B=⎨1,2⎬。
求B A×A，验证|B A×A|=|B||A|×|A|。
解：⑴f0=⎨<a,1>,<b,1>⎬f1=⎨<a,1>,<b,2>⎬f2=⎨<a,1>,<b,3>⎬f3=⎨<a,2>,<b,1>⎬f4=⎨<a,2>,<b,2>⎬f5=⎨<a,2>,<b,3>⎬f6=⎨<a,3>,<b,1>⎬f7=⎨<a,3>,<b,2>⎬f8=⎨<a,3>,<b,3>⎬B A=⎨f0,f1,f2,f3,f4,f5,f6,f7,f8⎬|B A|=9=32= |B||A|⑵A×A=⎨<a,a>,<a,b>,<b,a>,<b,b>⎬f 0=⎨<<a ,a >,1>,<<a ,b >,1>,<<b ,a >,1>,<<b ,b >,1>⎬f 1=⎨<<a ,a >,1>,<<a ,b >,1>,<<b ,a >,1>,<<b ,b >,2>⎬f 2=⎨<<a ,a >,1>,<<a ,b >,1>,<<b ,a >,2>,<<b ,b >,1>⎬f 3=⎨<<a ,a >,1>,<<a ,b >,1>,<<b ,a >,2>,<<b ,b >,2>⎬f 4=⎨<<a ,a >,1>,<<a ,b >,2>,<<b ,a >,1>,<<b ,b >,1>⎬f 5=⎨<<a ,a >,1>,<<a ,b >,2>,<<b ,a >,1>,<<b ,b >,2>⎬f 6=⎨<<a ,a >,1>,<<a ,b >,2>,<<b ,a >,2>,<<b ,b >,1>⎬f 7=⎨<<a ,a >,1>,<<a ,b >,2>,<<b ,a >,2>,<<b ,b >,2>⎬f 8=⎨<<a ,a >,2>,<<a ,b >,1>,<<b ,a >,1>,<<b ,b >,1>⎬f 9=⎨<<a ,a >,2>,<<a ,b >,1>,<<b ,a >,1>,<<b ,b >,2>⎬f 10=⎨<<a ,a >,2>,<<a ,b >,1>,<<b ,a >,2>,<<b ,b >,1>⎬f 11=⎨<<a ,a >,2>,<<a ,b >,1>,<<b ,a >,2>,<<b ,b >,2>⎬f 12=⎨<<a ,a >,2>,<<a ,b >,2>,<<b ,a >,1>,<<b ,b >,1>⎬f 13=⎨<<a ,a >,2>,<<a ,b >,2>,<<b ,a >,1>,<<b ,b >,2>⎬f 14=⎨<<a ,a >,2>,<<a ,b >,2>,<<b ,a >,2>,<<b ,b >,1>⎬f 15=⎨<<a ,a >,2>,<<a ,b >,2>,<<b ,a >,2>,<<b ,b >,2>⎬B A ×A =⎨f 0,f 1,f 2,f 3,f 4,f 5,f 6,f 7,f 8,f 9f 10,f 11,f 12,f 13,f 14,f 15⎬|B A ×A |=16=24=|B ||A |×|A |4.下列函数中，哪些是单射？哪些是满射？哪些是双射？为什么？⑴f ：N →N ，f (x )= x 2＋1⑵f ：Z →Z ， f (x )=(x mod 3)(函数值为x 除以3的余数)⑶f ：N →N ， 为偶数若为奇数若x x x f ⎩⎨⎧=01)( ⑷f ：N →⎨0,1⎬，为偶数若为奇数若x x x f ⎩⎨⎧=01)( ⑸f ：Z ＋→R ，f (x )=3x⑹f ：R →R ，f (x )=x 3解：⑴是单射，不是满射，不是双射。
当x ,y ∈A ，x ≠y ，x 2≠y 2，x 2＋1≠y 2＋1，f (x )≠f (y )。
所以f ：N →N 是单射。
因为∀x ∈N ，f (x )≠0∈N 。
所以f ：N →N 不是满射。
因为不是满射，所以不是双射。
⑵不是单射，不是满射，不是双射。
因为6≠9，而f (6)=(6mod 3)=0=(9mod 3)=f (9)。
所以f ：Z →Z 不是单射。
因为∀x ∈Z ，f (x )≠3∈Z 。
所以f ：Z →Z 不是满射。
因为不是单射且不是满射，所以不是双射。
⑶不是单射，不是满射，不是双射。
因为1≠3，而f (1)=f (3)。
所以f ：N →N 不是单射。
因为∀x ∈Z ，f (x )≠2∈N 。
所以f ：N →N 不是满射。
因为不是单射和不是满射，所以不是双射。
⑷不是单射，是满射，不是双射。
因为1≠3，而f(1)=1=f(3)。
所以f：N→⎨0,1⎬不是单射。
显然，f：N→⎨0,1⎬是满射。
因为不是满射，所以不是双射。
⑸是单射，不是满射，不是双射。
f：Z＋→R，f(x)=3x是单调递增函数，所以是单射。
因为∀x∈Z＋，f(x)≠0∈R。
所以f：Z＋→R不是满射。
因为不是满射，所以不是双射。
⑹是单射，是满射，是双射。
f：R→R，f(x)=x3是单调递增函数，所以是单射。
因为∀y∈R，有x=3y∈R，使f(x)= f(3y)=(3y)3=y。
所以f：R→R，f(x)=x3是满射。
因为是单射和满射，所以是双射。
5.设A=⎨1,2,3,4⎬，A上的等价关系R为：R=⎨<1,4>,<4,1>,<2,3>,<3,2>⎬∪I A求自然映射f：A→A/R解：A/R=⎨⎨1,4⎬,⎨2,3⎬⎬f=⎨<1,⎨1,4⎬>,<2,⎨2,3⎬>,<3,⎨2,3⎬>,<4,⎨1,4⎬>⎬6.设f: Z×Z→Z(Z为整数集合)，f(x,y)= x＋y；g: Z×Z→Z，g(x,y)= x×y。
试证明f和g是满射函数，但不是单射函数。
证明：∀x∈Z，<0,x>∈Z×Z，f (0,x)= 0＋x=x，所以f: Z×Z→Z，f(x,y)=x＋y是满射。
<1,x>∈Z×Z，f (1,x)= 1×x=x，所以g: Z×Z→Z，g(x,y)=x×y是满射。
对于<1,2>∈Z×Z，<2,1>∈Z×Z，f(1,2)=3=f(2,1)，但<1,2>≠<2,1>，所以f: Z×Z→Z，f(x,y)= x ＋y不是单射函数。
对于<3,2>∈Z×Z，<2,3>∈Z×Z，g(3,2)=6= g(2,3)，但<3,2>≠<2,3>，所以g: Z×Z→Z，g(x,y)= x×y不是单射函数。