离散数学试题及答案
离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。
答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。
答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。
答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。
答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。
解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。
反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。
由于R是自反的,所以(a, a) ∈ R,与假设矛盾。
因此,R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。
解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。
所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学试题与参考答案

离散数学试题与参考答案(总4页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》试题及答案一、选择题:本题共5小题,每小题3分,共15分,在每小题给出的四个选项中,只有一项是符合题目要求的。
1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2.设P 表示“天下大雨”, Q 表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。
(A). P Q →; (B).P Q ∧; (C).P Q ⌝→⌝; (D).P Q ⌝∨.3.设集合A ={{1,2,3}, {4,5}, {6,7,8}},则下式为真的是( ) (A) 1A (B) {1,2, 3}A (C) {{4,5}}A (D) A4. 设A ={1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>} 5. 设G 如右图:那么G 不是( ). (A)哈密顿图; (B)完全图;(C)欧拉图; (D) 平面图.二、填空题:本大题共5小题,每小题4分,共20分。
把答案填在对应题号后的横线上。
6. 设集合A ={,{a }},则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R =},,2,{B y A x x y y x ∈∈=><, 那么R -1=8. 在“同学,老乡,亲戚,朋友”四个关系中_______是等价关系. 9. 写出一个不含“→”的逻辑联结词的完备集 . 10.设X ={a ,b ,c },R 是X 上的二元关系,其关系矩阵为M R =⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101,那么R 的关系图为三、证明题(共30分)11. (10分)已知A 、B 、C 是三个集合,证明A ∩(B ∪C)=(A ∩B)∪(A ∩C) 12. (10分)构造证明:(P (Q S))∧(R ∨P)∧Q R S13.(10分)证明(0,1)与[0,1),[0,1)与[0,1]等势。
离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀x)(B→A(x))⇔B→(∀x)A(x)C.(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D.(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A,则对应于R的A的划分是( D )A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系 12.设R 为实数集,函数f :R →R ,f(x)=2x ,则f 是( B ) A .满射函数 B .单射函数 C .双射函数 D .非单射非满射第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
(完整版)离散数学试题及答案,推荐文档

11 设 A,B,R 是三个集合,其中 R 是实数集,A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A={2, 3, 4, 5, 6},R 是 A 上的整除,则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x),则 G 的前束范式是__________________________
二、选择题
1. C. 2. D. 3. B. 4. B.
5. D. 6. C. 7. C.
8. A. 9. D. 10. B. 11. B.
第 5 页 共 18 页
13. {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.
14. x(P(x)∨Q(x)). 15. 21.
16. (R(a)∧R(b))→(S(a)∨S(b)). 17. {(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}.
8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
__________________________,_____________________________,
__________________________.
离散数学习题集(十五套) - 答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。
2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。
3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为。
5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为。
6.设A={1,2,3,4},A 上关系图为则 R 2 = 。
7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。
8.图的补图为 。
9.设A={a ,b ,c ,d} ,A 上二元运算如下:* a b c dA BCa b cda b c db c d ac d a bd a b c那么代数系统<A,*>的幺元是,有逆元的元素为,它们的逆元分别为。
10.下图所示的偏序集中,是格的为。
二、选择20% (每小题2分)1、下列是真命题的有()A.}}{{}{aa⊆;B.}}{,{}}{{ΦΦ∈Φ;C.}},{{ΦΦ∈Φ;D.}}{{}{Φ∈Φ。
2、下列集合中相等的有()A.{4,3}Φ⋃;B.{Φ,3,4};C.{4,Φ,3,3};D.{3,4}。
3、设A={1,2,3},则A上的二元关系有()个。
A.23 ;B.32 ;C.332⨯;D.223⨯。
4、设R,S是集合A上的关系,则下列说法正确的是()A.若R,S 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C.若R,S 是对称的,则SR 是对称的;D.若R,S 是传递的,则SR 是传递的。
5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下|}||(|)(,|,{tsApt st sR=∧∈><=则P(A)/ R=()A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}}6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“⊆”的哈斯图为()7、下列函数是双射的为()A.f : I→E , f (x) = 2x ;B.f : N→N⨯N, f (n) = <n , n+1> ;C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。
离散数学练习题(含答案)

离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p,q的小项是(C)。
A。
p∧┐p∧qB。
┐p∨qC。
┐p∧qD。
┐p∨p∨q2.命题“虽然今天下雪了,但是路不滑”可符号化为(D)。
A。
p→┐qB。
p∨┐qC。
p∧qD。
p∧┐q3.只有语句“1+1=10”是命题(A)。
A。
1+1=10B。
x+y=10___<0D。
x mod 3=24.下列等值式不正确的是(C)。
A。
┐(x)A(x)┐AB。
(x)(B→A(x))B→(x)A(x)C。
(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D。
(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 5.量词x的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(C)。
A。
(x)Q(x,z)→(x)(y)R(x,y,z))B。
Q(x,z)→(y)R(x,y,z)C。
Q(x,z)→(x)(y)R(x,y,z)D。
Q(x,z)6.设A={a,b,c,d},A上的等价关系R={。
}∪IA则对应于R的A的划分是(D)。
A。
{{a},{b,c},{d}}B。
{{a,b},{c},{d}}C。
{{a},{b},{c},{d}}D。
{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是(A)。
A。
{Ø,{Ø}}∈BB。
{{Ø,Ø}}∈BC。
{{Ø},{{Ø}}}∈BD。
{Ø,{{Ø}}}∈B8.集合相对补运算中,不正确的等式是(A)。
A。
(X-Y)-Z=X-(Y∩Z)B。
(X-Y)-Z=(X-Z)-YC。
(X-Y)-Z=(X-Z)-(Y-Z)D。
(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,不可结合的定义的运算是(D)。
A。
a*b=min(a,b)B。
a*b=a+bC。
a*b=GCD(a,b) (a,b的最大公约数)D。
电大离散数学本科试题及答案

电大离散数学本科试题及答案一、选择题(每题3分,共30分)1. 在离散数学中,下列哪个概念是用来描述两个集合之间元素的一一对应关系?A. 并集B. 交集C. 笛卡尔积D. 子集答案:D2. 命题逻辑中,德摩根定律描述的是哪种命题的否定形式?A. 合取命题B. 析取命题C. 条件命题D. 生成命题答案:B3. 在图论中,一个没有自环且任意两个顶点之间至多只有一条边的图被称为:A. 有向图B. 无向图C. 完全图D. 树答案:B4. 以下哪个算法用于判断一个命题逻辑表达式的真值表是否存在矛盾?A. 归并排序B. 快速排序C. 归约子句法D. 拓扑排序答案:C5. 集合{1, 2, 3}的幂集含有多少个元素?A. 4B. 6C. 8D. 16答案:C6. 在关系数据库中,一个关系模式的候选键是:A. 能唯一标识元组的属性集合B. 可以为空的属性C. 必须包含所有属性的超键D. 必须包含所有属性的候选键答案:A7. 以下哪个是离散数学中归纳证明的步骤?A. 基础步骤B. 归纳假设C. 归纳步骤D. 所有以上答案:D8. 在命题逻辑中,一个命题函数是:A. 仅包含逻辑运算符的表达式B. 可以取真假值的表达式C. 包含变量和逻辑运算符的表达式D. 仅包含逻辑运算符和变量的表达式答案:C9. 一个布尔代数中的幺元是指:A. 恒等元B. 恒真元C. 恒假元D. 单位元答案:D10. 在有限自动机中,状态的转移是由:A. 输入符号决定B. 当前状态和输入符号决定C. 输出符号决定D. 状态本身决定答案:B二、填空题(每题2分,共20分)11. 在离散数学中,一个集合的子集的总数是2的该集合元素数量的______次方。
答案:对数12. 如果一个命题逻辑表达式中只包含两个命题变量,那么它的真值表有______行。
答案:413. 在图论中,一个图的度序列是指该图所有顶点的______之和的非增序列。
答案:度数14. 一个关系R在域D上的闭包是指R通过______和______运算后得到的关系。
自考离散数学试题及答案

自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。
答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。
答案:真13. 在有向图中,一个顶点的入度是指_________。
答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。
答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学试题及答案一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=_____{3}______________; ρ(A) - ρ(B)=____{{3},{1,3},{2,3},{1,2,3}}__________ .2. 设有限集合A, |A| = n, 则|ρ(A×A)| = ___2^(n^2)________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________.4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取式是____P∧⌝Q∧R (m5)____.5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为___12______,分枝点数为_______3_________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A⋂B=______{4}______; A⋃B=____{1,2,3,4}_________;A-B=______{1,2}_______ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______自反性____________,_________对称性_________, _________传递性_____________.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有_____(1,0,0)__________,______(1,0,1)________, ________(1,1,0)________.9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1•R2= ___{(1,3),(2,2),(3,1)}____,R2•R1 =_____{(2,4), (3,3), (4,2)}_____, R12=_______{(2,2), (3,3)}_________.10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = ______2^(m*n)___________.11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , B-A = ______{x | 1 < x < 2, x ∈R}_____ ,A∩B = ______{x | 0 ≤x ≤1, x ∈R}__________ , .13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ ________{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}_________.14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G的前束式是_____∃y∃x(P(y)→Q(x))________ _____.15.设G是具有8个顶点的树,则G中增加__21___条边才能把G变成完全图。
16. 设谓词的定义域为{a, b},将表达式∀xR(x)→∃xS(x)中量词消除,写成与之对应的命题公式是________(R(a)∧R(b))→(S(a)∨S(b))______________________.17. 设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。
则R⋅S=_______{(1, 3),(2, 2)}________________,R2=_____________{(1, 1),(1, 2),(1, 3)}_______________.二、选择题1设集合A={2,{a},3,4},B = {{a},3,4,1},E为全集,则下列命题正确的是( C)。
(A){2}∈A (B){a}⊆A (C)∅⊆{{a}}⊆B⊆E (D){{a},1,3,4}⊂B.2设集合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,2),(3,3)},则R不具备( D).(A)自反性(B)传递性(C)对称性(D)反对称性3 设半序集(A,≤)关系≤的哈斯图如下所示,若A的子集则元素6为B的( B)。
(A)下界(B)上界(C)最小上界(D)以上答案都不对4下列语句中,( B)是命题。
(A)请把门关上(B)地球外的星球上也有人(C)x + 5 > 6 (D)下午有会吗?5设I是如下一个解释:D={a,b},11b)P(b,a)P(b,b)P(a,),(aaP则在解释I下取真值为1的公式是( D).(A)∃x∀yP(x,y) (B)∀x∀yP(x,y) (C)∀xP(x,x) (D)∀x∃yP(x,y).6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( C).(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6).7. 设G 、H 是一阶逻辑公式,P 是一个谓词,G =∃xP(x), H =∀xP(x),则一阶逻辑公式G →H 是( C ).(A)恒真的 (B)恒假的 (C)可满足的 (D)前束式.8 设命题公式G =⌝(P →Q),H =P →(Q →⌝P),则G 与H 的关系是( A )。
(A)G ⇒H (B)H ⇒G(C)G =H (D)以上都不是.9 设A, B 为集合,当( D )时A -B =B.(A)A =B(B)A ⊆B(C)B ⊆A(D)A =B =∅.10 设集合A = {1,2,3,4}, A 上的关系R ={(1,1),(2,3),(2,4),(3,4)}, 则R 具有( B )。
(A)自反性 (B)传递性(C)对称性 (D)以上答案都不对11 下列关于集合的表示中正确的为( B )。
(A){a}∈{a,b,c} (B){a}⊆{a,b,c} (C)∅∈{a,b,c} (D){a,b}∈{a,b,c}12 命题∀xG(x)取真值1的充分必要条件是( A ).(A) 对任意x ,G(x)都取真值1. (B)有一个x 0,使G(x 0)取真值1. (C)有某些x ,使G(x 0)取真值1. (D)以上答案都不对.13. 设G 是连通平面图,有5个顶点,6个面,则G 的边数是( A ).(A) 9条 (B) 5条 (C) 6条 (D) 11条.14. 设G 是5个顶点的完全图,则从G 中删去( A )条边可以得到树.(A)6 (B)5 (C)10 (D)4.15. 设图G 的相邻矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0110110101110110010111110,则G 的顶点数与边数分别为( D ).(A)4, 5 (B)5, 6 (C)4, 10 (D)5, 8.三、计算证明题1.设集合A ={1, 2, 3, 4, 6, 8, 9, 12},R 为整除关系。
(1) 画出半序集(A,R)的哈斯图;124836129(2) 写出A 的子集B = {3,6,9,12}的上界,下界,最小上界,最大下界;B 无上界,也无最小上界。
下界1, 3; 最大下界是3.(3) 写出A 的最大元,最小元,极大元,极小元。
A 无最大元,最小元是1,极大元8, 12, 90+; 极小元是1.2. 设集合A ={1, 2, 3, 4},A 上的关系R ={(x,y) | x, y ∈A 且 x ≥ y}, 求(1) 画出R 的关系图;(2) 写出R 的关系矩阵.1000110011101111R M ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦3. 设R 是实数集合,σ,τ,ϕ是R 上的三个映射,σ(x) = x+3, τ(x) = 2x, ϕ(x) = x/4,试求复合映射σ•τ,σ•σ, σ•ϕ, ϕ•τ,σ•ϕ•τ. (1)σ•τ=σ(τ(x))=τ(x)+3=2x+3=2x+3.(2)σ•σ=σ(σ(x))=σ(x)+3=(x+3)+3=x+6,(3)σ•ϕ=σ(ϕ(x))=ϕ(x)+3=x/4+3,(4)ϕ•τ=ϕ(τ(x))=τ(x)/4=2x/4 = x/2,(5)σ•ϕ•τ=σ•(ϕ•τ)=ϕ•τ+3=2x/4+3=x/2+3.4. 设I是如下一个解释:D = {2, 3},a b f (2) f (3) P(2, 2) P(2, 3) P(3, 2) P(3, 3)3 2 3 2 0 0 1 1试求(1) P(a, f (a))∧P(b, f (b));P(a, f (a))∧P(b, f (b))= P(3, f (3))∧P(2, f (2))= P(3, 2)∧P(2,3)= 1∧0= 0.(2)∀x∃y P (y, x).∀x∃y P (y, x) = ∀x (P (2, x)∨P (3, x))= (P (2, 2)∨P (3, 2))∧(P (2, 3)∨P (3, 3))= (0∨1)∧(0∨1)= 1∧1= 1.5. 设集合A={1, 2, 4, 6, 8, 12},R为A上整除关系。
(1)画出半序集(A,R)的哈斯图;(2)写出A的最大元,最小元,极大元,极小元;无最大元,最小元1,极大元8, 12; 极小元是1.(3)写出A的子集B = {4, 6, 8, 12}的上界,下界,最小上界,最大下界.B无上界,无最小上界。
下界1, 2; 最大下界2.6. 设命题公式G = ⌝(P→Q)∨(Q∧(⌝P→R)), 求G的主析取式。
7. (9分)设一阶逻辑公式:G = (∀xP(x)∨∃yQ(y))→∀xR(x),把G化成前束式.G = (∀xP(x)∨∃yQ(y))→∀xR(x)= ⌝(∀xP(x)∨∃yQ(y))∨∀xR(x)= (⌝∀xP(x)∧⌝∃yQ(y))∨∀xR(x)= (∃x⌝P(x)∧∀y⌝Q(y))∨∀zR(z)= ∃x∀y∀z((⌝P(x)∧⌝Q(y))∨R(z))9. 设R是集合A = {a, b, c, d}. R是A上的二元关系, R = {(a,b), (b,a), (b,c), (c,d)},(1)求出r(R), s(R), t(R);r(R)=R∪I A={(a,b), (b,a), (b,c), (c,d), (a,a), (b,b), (c,c), (d,d)},s(R)=R∪R-1={(a,b), (b,a), (b,c), (c,b) (c,d), (d,c)},t(R)=R∪R2∪R3∪R4={(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d)};(2)画出r(R), s(R), t(R)的关系图.r(R)s(R)d t(R)11. 通过求主析取式判断下列命题公式是否等价:(1) G = (P∧Q)∨(⌝P∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(⌝P∧R))G=(P∧Q)∨(⌝P∧Q∧R)=(P∧Q∧⌝R)∨(P∧Q∧R)∨(⌝P∧Q∧R)=m6∨m7∨m3=∑ (3, 6, 7)H = (P∨(Q∧R))∧(Q∨(⌝P∧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)=m6∨m3∨m7=∑ (3, 6, 7)G,H 的主析取式相同,所以G = H.13. 设R 和S 是集合A ={a , b , c , d }上的关系,其中R ={(a , a ),(a , c ),(b , c ),(c , d )},S ={(a , b ),(b , c ),(b , d ),(d , d )}.(1) 试写出R 和S 的关系矩阵;⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100001000101R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1000000011000010S M(2) 计算R •S , R ∪S , R -1, S -1•R -1.R •S ={(a , b ),(c , d )},R ∪S ={(a , a ),(a , b ),(a , c ),(b , c ),(b , d ),(c , d ),(d , d )}, R -1={(a , a ),(c , a ),(c , b ),(d , c )}, S -1•R -1={(b , a ),(d , c )}.四、证明题1. 利用形式演绎法证明:{P →Q , R →S , P ∨R }蕴涵Q ∨S 。