离散数学试题带答案(三)
离散数学课后习题答案(第三章)(doc)

a) 用矩阵运算和作图方法求出 R 的自反、对称、传递闭包; b) 用 Warshall 算法,求出 R 的传递闭包。
解 a) 0 1 00
MR= 1 0 1 0 0 0 01
0 0 00
R 的关系图如图所示。
a
b
d
c
MR+MIA=
0 1 00 1 0 10
反之,若 S∩ScIX,设<x,y>∈S 且 <y,x>∈S,则 <x,y>∈S∧<x,y>∈Sc <x,y>∈S∩Sc <x,y>∈IX 故 x=y,即 S 是反对称的。
3-7.3 设 S 为 X 上的关系,证明若 S 是自反和传递的,则 S○S=S,其逆为真 吗?
证明 若 S 是 X 上传递关系,由习题 3-7.2a)可知(S○S)S, 令<x,y>∈S,根据自反性,必有< x,x> ∈S, 因此有< x,y >∈S○S, 即 SS○S。得到 S=S○S.
自反的; b)若 R1 和 R2 是反自反的,则 R1○R2 也
是反自反的; c)若 R1 和 R2 是对称的,则 R1○R2 也是
对称的; d)若 R1 和 R2 是传递的,则 R1○R2 也是
传递的。
证明 a)对任意 a∈A,设 R1 和 R2 是自 反的,则<a,a>∈R1,<a,a>∈R2 所以,<a,a>∈R1○R2,即 R1○R2 也是 自反的。
解:L= {<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>} D={<1,2>,<1,3>,<1,6>, <2,6>,<3,6>,<1, 1>,<2,2>,<3,3>,<6,6>} L∩D= {<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>, <2,2>,<3,3>,<6,6>}
《离散数学》题库及标准答案

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)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)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。
在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
离散数学第3章答案

习题3.11.(1) {0,1,2,3,4,5,6,7,8,9}(2) {aa , ab , ba , bb }(3) {-1,1}(4) {11,13,17,19,23,29}(5) {1,2,3, (79)(6) {2}2. 用描述法表示下列集合:(1) 不超过200的自然数的集合;{|N 200}x x x ∈∧≤(2) 被5除余1的正整数的集合;+{|I (N 51)}x x y y x y ∈∧∃∈∧=+(3) 函数y =sin x 的值域;{|R 11}y y y ∈∧-≤≤(4) 72的质因子的集合;{|N |72(N 2|)}x x x y y y x y x ∈∧∧∀∈∧≤<→/(5) 不等式031>-x 的解集; {|R 3}x x x ∈∧>(6) 函数2312+-=x x y 的定义域集. {|R 12}x x x x ∈∧≠∧≠3. 用归纳定义法描述下列集合:(1) 允许有前0的十进制无符号整数的集合;① {0,1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x x x x x x x x x x x A ⊆(2) 不允许有前0的十进制无符号整数的集合;① {1,2,3,4,5,6,7,8,9}A ⊆② 如果x A ∈,则{0,1,2,3,4,5,6,7,8,9}x x x x x x x x x x A ⊆(3) 不允许有前0的二进制无符号偶数的集合;① 1A ∈② 如果x A ∈,则{0,1}x x A ⊆(4) 5的正整数倍的集合.① 5A ∈② 如果x A ∈,则5x A +∈4. 判断下列命题中,哪些是真的,哪些是假的(A 是任意集合):(1) ;A ∈∅(2) ;A ⊆∅ (3) };{A A ∈ (4) ;A A ⊆ (5) ;A A ∈ (6) };{A A = (7) }.{∅=∅答:(2),(3),(4)为真,(1),(5),(6),(7)为假。
离散数学试题带答案(三)

离散数学试题带答案一、填空题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)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)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)}, R2 = {(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)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , 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的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。
《离散数学》试题带答案(三)

《离散数学》试题带答案试卷十四试题与答案一、 填空 10% (每小题 2分)1、 设>-∧∨<,,,A 是由有限布尔格≤><,A 诱导的代数系统,S 是布尔格≤><,A ,中所有原子的集合,则>-∧∨<,,,A ~ 。
2、 集合S={α,β,γ,δ}上的二元运算*为那么,代数系统<S, *>中的幺元是 , α的逆元是 。
3、 设I 是整数集合,Z 3是由模3的同余类组成的同余类集,在Z 3上定义+3如下:]3m od )[(][][3j i j i +=+,则+3的运算表为 ;<Z +,+3>是否构成群 。
4、 设G 是n 阶完全图,则G 的边数m= 。
5、 如果有一台计算机,它有一条加法指令,可计算四数的和。
现有28个数需要计算和,它至少要执行 次这个加法指令。
二、 选择 20% (每小题 2分)1、 在有理数集Q 上定义的二元运算*,Q y x ∈∀,有xy y x y x -+=*,则Q 中满足( )。
A 、 所有元素都有逆元;B 、只有唯一逆元;C 、1,≠∈∀x Q x 时有逆元1-x ; D 、所有元素都无逆元。
2、 设S={0,1},*为普通乘法,则< S , * >是( )。
A 、 半群,但不是独异点;B 、只是独异点,但不是群;C 、群;D 、环,但不是群。
3、图 给出一个格L ,则L 是( )。
A 、分配格;B 、有补格;C 、布尔格;D 、 A,B,C 都不对。
3、 有向图D=<V , E>,则41v v 到长度为2的通路有( )条。
A 、0;B 、1;C 、2;D 、3 。
4、 在Peterson 图中,至少填加( )条边才能构成Euler图。
A 、1;B 、2;C 、4;D 、5 。
三、 判断 10% (每小题 2分)1、 在代数系统<A,*>中如果元素A a ∈的左逆元1-e a 存在,则它一定唯一且11--=e a a 。
离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,子集{1, 2}的补集是()。
A. {3, 4}B. {1, 3, 4}C. {2, 3, 4}D. {1, 2, 3, 4}答案:A2. 命题“若x > 0,则x² > 0”的逆否命题是()。
A. 若x² ≤ 0,则x ≤ 0B. 若x² > 0,则x > 0C. 若x ≤ 0,则x² ≤ 0D. 若x² ≤ 0,则x < 0答案:C3. 函数f(x) = x² + 2x + 1的值域是()。
A. {x | x ≥ 0}B. {x | x ≥ 1}C. {x | x ≥ 2}D. {x | x ≥ -1}答案:B4. 以下哪个图是无向图()。
A. 有向图B. 无向图C. 有向树D. 无向树答案:B5. 以下哪个图是二分图()。
A. 完全图B. 非完全图C. 任意两个顶点都相连的图D. 任意两个顶点都不相连的图答案:C6. 以下哪个是哈密顿回路()。
A. 经过每个顶点恰好一次的回路B. 经过每个顶点至少一次的回路C. 经过每个顶点恰好两次的回路D. 经过每个顶点至少两次的回路答案:A7. 以下哪个是欧拉回路()。
A. 经过每条边恰好一次的回路B. 经过每条边至少一次的回路C. 经过每条边恰好两次的回路D. 经过每条边至少两次的回路答案:A8. 以下哪个是二进制数()。
A. 1010B. 1020C. 1102D. 1120答案:A9. 以下哪个是格雷码()。
A. 0101B. 1010C. 1100D. 1110答案:B10. 以下哪个是素数()。
A. 4B. 6C. 7D. 8答案:C二、填空题(每题2分,共20分)11. 集合{1, 2, 3}与{2, 3, 4}的交集是______。
答案:{2, 3}12. 命题“若x > 0,则x² > 0”的逆命题是:若x² > 0,则______。
离散数学第四版课后答案(第3章)

( A B C) ( A B) ((A B) ( A B)) (C ( A B))
= (C ( A B)) C ( A B). 易 见 , C (A B) C, 但 不 一 定 有 C (A B) C.如 令 A B C {1}.时,等式(4)不为真。类假地,等式(5)的左 边经化简后得 (A C) B ,而 (A C) B 不一定恒等于 A-C。 3.17 (1)不为真。(2),(3)和(4)都为真。对于题 (1)举反例如下:令 A {1}, A {1}, B {1,4},C {2}, D {2,3}, 则 A B 且 C B ,但 A C B D ,
这是 S T 的充公必要条件,从而结论为真. 对 于 假 命 题 都 可 以 找 到 反 例 , 如 题 (2) 中 令 S {1,2},T z{1}, M {2}即可;而对于题(5),只要 S 即可. 3.9 (2),(3)和(4)为真,其余为假. 3.10 (1) A {0,1,2}. (2) A {1,2,3,4,5} (3) A {1} (4) A { 0,0 , 0,1 1,0 , 0,2 , 1,1 , 2,0 , 0,3 ,
A B .
(4)易见,当 A=B 成立时,必有 A-B=B-A。反之,由 A-B=B-A 得
( A B) B (B A) B
化简后得 B A ,即 B A,同理,可证出 A B ,从而 得到 A=B。
3.18 由| P(B) | 64 可知|B|=6。又由| P(A B) | 256 知| A B | 8 , 代入包含排斥原理得
{,{1},{2},{1,2}}}.
(4) P( A) {,{{1}},{{1,2}},{{1}},{{1,2}} (5) P( A) {,{1},{1},{2},{1,1},{1,2}{1,2}{1,1,2}. 分析 在做集合运算前先要化简集合,然后再根据题目 要求进行计算.这里的化简指的是元素,谓词表示和集合公 式三种化简. 元素的化简——相同的元素只保留一个,去掉所有冗余 的元素。 谓词表示的化简——去掉冗余的谓词,这在前边的题解 中已经用到。 集合公工的化简——利用简单的集合公式代替相等的 复杂公式。这种化简常涉及到集合间包含或相等关系的判别。 例如,题(4)中的 A {{1,1},{2,1},{1,2,1}}化简后得 A {{1},{1,2}}, 而题(5)中的 A {x | x R x3 2x2 x 2 0} 化 简为 A {1,1,2}。 3.15
离散数学习题集(十五套) - 答案

离散数学试题与答案试卷一一、填空 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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 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)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3, α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)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)}, R2 = {(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)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = -1<=x<0 , 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的前束范式是∃x(⌝P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。
(完全图的边数2)1(-nn,树的边数为n-1)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)} , R 2= {(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 的子集B = {2,3,4,5},则元素6为B 的( B )。
(A)下界 (B)上界 (C)最小上界 (D)以上答案都不对4 下列语句中,( B )是命题。
(A)请把门关上 (B)地球外的星球上也有人(C)x + 5 > 6 (D)下午有会吗? 5 设I 是如下一个解释:D ={a,b},1 0 1b)P(b,a) P(b,b) P(a,),(a a P则在解释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)的哈斯图;(2) 写出A 的子集B = {3,6,9,12}的上界,下界,最小上界,最大下界; (3) 写出A 的最大元,最小元,极大元,极小元。
解:(1)124836129(2) B 无上界,也无最小上界。
下界1, 3; 最大下界是3 (3) A 无最大元,最小元是1,极大元8, 12, 9; 极小元是12. 设集合A ={1, 2, 3, 4},A 上的关系R ={(x,y) | x, y ∈A 且 x ≥ y}, 求(1) 画出R 的关系图; (2) 写出R 的关系矩阵.解:(1)(2)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},abf (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));(2)∀x∃y P (y, x).解:(1) 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 (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的最大元,最小元,极大元,极小元;(3)写出A的子集B = {4, 6, 8, 12}的上界,下界,最小上界,最大下界.解:(1) (2)无最大元,最小元1,极大元8, 12; 极小元是1.(3) B无上界,无最小上界。
下界1, 2; 最大下界2.6.设命题公式G = ⌝(P→Q)∨(Q∧(⌝P→R)), 求G的主析取范式。
解:G = ⌝(P→Q)∨(Q∧(⌝P→R))= ⌝(⌝P∨Q)∨(Q∧(P∨R))= (P∧⌝Q)∨(Q∧(P∨R))= (P∧⌝Q)∨(Q∧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)∨(P∧Q∧R)∨(P∧Q∧⌝R)∨(⌝P∧Q∧R)= m3∨m4∨m5∨m6∨m7 = ∑(3, 4, 5, 6, 7).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);(2)画出r(R), s(R), t(R)的关系图.解:(1)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)关系图: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) =m 6∨m 7∨m 3 =∑ (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) =m 6∨m 3∨m 7G ,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 的关系矩阵; (2) 计算R •S , R ∪S , R -1, S -1•R -1. 解:(1)⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100001000101R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1000000011000010S M(2)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 。