离散数学结构试题集1-4
第1章一.填空题1.2. 公式P→(Q→R)在联结词全功能集{﹁,∨}中等值形式为___________________。
3.4.5.6.7. 全体小项的析取式必为____________________式。
8. P,Q为两个命题，则德摩根律可表示为7. 全体小项的析取式必为_________式。
9. P,Q为两个命题，则吸收律可表示为____________________ 。
10. 设P：我有钱，Q：我去看电影。
命题“虽然我有钱，但是我不去看电影”符号化为_____ _______________。
11. 设P：我生病，Q：我去学校。
命题“如果我生病，那么我不去学校”符号化为_________ ___________。
12.13.14.15. 设P、Q为两个命题，交换律可表示为____________________。
16.17. 命题“如果你不看电影，那么我也不看电影”（P：你看电影，Q：我看电影）的符号化为____________________ 。
18.19.20.21. P：你努力，Q：你失败。
命题“除非你努力，否则你将失败”的翻译为_______________ _____。
22.23.24. 一个重言式和一个矛盾式的合取是____________________。
25. 全体小项的析取式为____________________ 。
26. 命题“如果你不看电影，那么我也不看电影”（P：你看电影，Q：我看电影）的符号化为____________________。
27.28. 设P：它占据空间，Q：它有质量，R：它不断运动，S：它叫做物质。
命题“占据空间的，有质量的而且不断运动的叫做物质”的符号化为____________________。
29.30.二.选择题1.2.3. 在除﹁之外的四大联结词中，满足结合律的有几个( )。
A. 2B.3C. 4D. 14. 判断下列语句哪个是命题( )。
A.你喜欢唱歌吗？B.若7+8＞18，则三角形有4条边。
C.前进！D. 给我一杯水吧！5.6.7.8. 永真式的否定是（）A. 永真式B. 永假式C. 可满足式D. A--D均有可能9. 下面哪一个是假命题（）。
A.如果2是偶数，那么一个公式的析取范式唯一。
B.如果2是偶数，那么一个公式的析取范式不唯一。
C. 如果2是奇数，那么一个公式的析取范式唯一。
D. 如果2是奇数，那么一个公式的析取范式不唯一。
10. 设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为( )。
A. p→qB. q→pC. p→┐qD. ┐p→q11. 设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为( )。
A.p→qB.q→pC.┐q→pD.┐p→q12. 下面4个推理定律中，不正确的为( )。
A.A=>(A∨B) (附加律)B.(A∨B)∧┐A=>B (析取三段论)C.(A→B)∧A=>B (假言推理)D.(A→B)∧┐B=>A (拒取式)13. 使命题公式p→(p∧q)为假的赋值是( )。
A.10B.01C. 00D.1114. 令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）。
A. p∧┐q B．p∨┐qC.p∧q D．p→┐q15. 一个公式在等价意义下，下面哪个写法是唯一的（）。
Ａ．析取范式B．合取范式Ｃ．主析取范式D．以上答案都不对16. 令p：今天下雨了，q：我上学，则命题“因为今天下雨了，所以我不上学了”可符号化为（）。
A．p→┐q B．p∨┐qC．p∧q D．p∧┐q17. 下列各组公式中哪组互为对偶（）。
(P为原子命题，A为复合命题)A. P,PB. P, ┐PC. A, (A*)*D. A,A18.19.20.21.22.23.24.25. 下列语句哪个是命题（）。
A.9+5≢12B. x+3=5C.我用的计算机CPU主频是1G吗？ D 我正在说谎。
26.27.28. n个命题变元可产生（）个互不等价的大项。
A. nB. n2C. 2nD. 2n29. 下列各命题中真值为真的命题有（）。
A.2+2=4当且仅当3是奇数B.2+2=4当且仅当3不是奇数C.2+2≠4当且仅当3是奇数D.2+2≠5当且仅当3不是奇数30. 下列语句哪个不是命题（）。
A.雪是黑的。
B. 天气多好啊！C.今天下雨。
D 我学英语，或者我学日语。
三.判断题1. “我正在说谎。
”是一个命题。
（）2. 一个命题标识符如表示确定的命题，就称为命题常量。
（）3. “她昨天做了一顿或两顿饭。
”是个原子命题。
（）4. 命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题代入时，才得到一个命题。
（）5. 如果A和B是合式公式，那么(A→B)是合式公式。
（）6. 原子谓词公式是合式公式。
（）7. 一般来说，n个命题变元组成的命题公式共有2n中真值情况。
（）8. 任何两个重言式的合取或析取，仍然是一个重言式。
（）9. 重言式和矛盾式的析取是重言式。
（）10. 在真值表中，一个公式的真值为F的指派所对应的大项的析取，即为此公式的主析取范式。
（）11. 从假的命题出发，能证明任何命题。
（）12. 全体小项的析取式永为假。
（）13. 连接词↑和↓是可交换的，也是可结合的。
（）14. P→Q =〉P→P∧Q。
（）15. 由n个命题变元组成不等值的命题公式的个数为2n。
（）四.计算题1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.五.证明题1.2.3.第2章一.填空题1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.二.选择题1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.三.判断题1. “如果1+2=3，则4+5=9。
”是真命题。
（）2. 约束变元换名时，一定要更改为作用域中没有出现的变元名称。
（）3.4. 简单命题函数由一个谓词和一些客体变元组成。
（）5. 单独一个谓词，不是完整的命题。
（）6. 任意一个谓词公式均和一个前束范式等价。
（）7.8.9.10.11.12.13.14.15.四.计算题1.2.3.4.5.6.7.8.9.10.五.证明题1.2.3.4.第3章一.填空题1. 设A={<1,2>,<2,4>,<3,3>},B={<1,3>,<2,4>,<4,2>},则A∪B=_________________。
2. A，B，C表示三个集合，图中阴影部分的集合表达式为____________________。
3. 设A={<1,2>,<2,4>,<3,3>},B={<1,3>,<2,4>,<4,2>},则A°B=_______________。
4. 设A={1，2，3，4}，A上二元关系R={<1，2>，<2，1>，<2，3>，<3，4>}画出R的关系图_________________。
5. 设A={a，b，c，d}，其上偏序关系R的哈斯图为则R=_______________________。
6. 设A={1，2，3}，则A上既不是对称的又不是反对称的关系为R=____________________。
7. 设A={1，2，3}，则A上既是对称的又是反对称的关系为R=_____________________。
8. 设|A|=3，则A上有________________个二元关系。
9. 偏序集〈Ρ（{a,b}），⊆〉的哈斯图为________________。
10. 集合A={2，3，6，12，24，36}上偏序关系R的Hass图为则集合B={2，3，6，12}的上界是_________________。
11. 对集合X和Y，设|X|=m ，|Y|=n ，则从X到Y的函数有__________________个。
12. 关系R的自反闭包r (R) ＝________________。
13. 关系R的对称闭包s (R) ＝_________________。
14. 关系R的传递闭包t (R) ＝_____________________。
15. 若R是集合A上的偏序关系，则R满足___________________。
16. 若R是集合A上的等价关系，则R满足____________________。
17. 若R是集合A上的相容关系，则R满足__________________。
18. 集合A={2，3，6，12，24，36}上偏序关系R的Hass图为则集合B={2，3，6，12}的上确界是_____________。
19. 设A，B是两集合，其中A={a，b，c}，B={a，b}，则A-B=_______________。
20. 设R={<a,1>,<b,2>,<c,3>}，则ran(R) =______________。
21. 设R={<a,1>,<b,2>,<c,3>}，则dom(R) =________________。
22. 设R={<a,1>,<b,2>,<c,3>}，则FLD(R) =_________________。
23. 设A={a，b}，B＝｛1，2，3｝，则A×B=__________________。
24. 设R是A={1，2，3，4}上的二元关系,R={<1,1>,<1,2>,<2,3>,<3,4>},则R的对称闭包是__ _______________。
25. 设R是A={1，2，3，4}上的二元关系,R={<1,1>,<1,2>,<2,3>,<3,4>},则R的自反闭包是__ ________________。
26. 设R是A={1，2，3，4}上的二元关系,R={<1,1>,<1,2>,<2,3>,<3,4>},则R的传递闭包是__ __________________。
27. 集合A={2，3，6，12，24，36}上偏序关系R的Hass图为则集合B={2，3，6，12}的下确界是__________________。
离散考试题123456
一、证明题（10分）1) (P∧Q∧A→C)∧(A→P∨Q∨C)⇔ (A∧(P↔Q))→C。
P<->Q=(p->Q)合取（Q->p）证明: (P∧Q∧A→C)∧(A→P∨Q∨C)⇔(⌝P∨⌝Q∨⌝A∨C)∧(⌝A∨P∨Q∨C)⇔((⌝P∨⌝Q∨⌝A)∧(⌝A∨P∨Q))∨C反用分配律⇔⌝((P∧Q∧A)∨(A∧⌝P∧⌝Q))∨C⇔⌝( A∧((P∧Q)∨(⌝P∧⌝Q)))∨C再反用分配律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C2) ⌝(P↑Q)⇔⌝P↓⌝Q。
证明：⌝(P↑Q)⇔⌝(⌝(P∧Q))⇔⌝(⌝P∨⌝Q))⇔⌝P↓⌝Q。
二、分别用真值表法和公式法求(P→(Q∨R))∧(⌝P∨(Q↔R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。
主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。
主析取范式可由析取范式经等值演算法算得。
证明：公式法：因为(P→(Q∨R))∧(⌝P∨(Q↔R))⇔(⌝P∨Q∨R)∧(⌝P∨(Q∧R)∨(⌝Q∧⌝R))⇔(⌝P∨Q∨R)∧(((⌝P∨Q)∧(⌝P∨R))∨(⌝Q∧⌝R))分配律⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝Q)∧(⌝P∨Q∨⌝R)∧(⌝P∨R∨⌝Q)∧(⌝P ∨R∨⌝R)⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)∧(⌝P∨⌝Q∨R)⇔4M使（非P析取Q析取R）为0所赋真值，即100，二进制M∧5M∧6为4⇔0m∨1m∨2m∨3m∨7m所以，公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。
真值表法：P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1 1111111111111111111111由真值表可知，公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。
《离散的数学结构》课后习题答案
离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一（第一章集合）1. 列出下述集合的全部元素：1）A={x | x ∈N∧x是偶数∧x＜15}2）B={x|x∈N∧4+x=3}3）C={x|x是十进制的数字}[解] 1）A={2，4，6，8，10，12，14}2）B=∅3）C={0，1，2，3，4，5，6，7，8，9}2. 用谓词法表示下列集合：1）{奇整数集合}2）{小于7的非负整数集合}3）{3，5，7，11，13，17，19，23，29}[解] 1）{n n∈I∧(∃m∈I)(n=2m+1)}；2）{n n∈I∧n≥0∧n<7}；3）{p p∈N∧p>2∧p<30∧⌝(∃d∈N)(d≠1∧d≠p∧(∃k∈N)(p=k⋅d))}。
3. 确定下列各命题的真假性：1）∅⊆∅2）∅∈∅3）∅⊆{∅}4）∅∈{∅}5）{a，b}⊆{a，b，c，{a，b，c}}6）{a,b}∈(a，b，c，{a，b，c})7）{a，b}⊆{a，b，{{a，b，}}}8）{a，b}∈{a，b，{{a，b，}}}[解]1）真。
因为空集是任意集合的子集；2）假。
因为空集不含任何元素；3）真。
因为空集是任意集合的子集；4）真。
因为∅是集合{∅}的元素；5）真。
因为{a，b}是集合{a，b，c，{a，b，c}}的子集；6）假。
因为{a,b}不是集合{a，b，c，{a，b，c}}的元素；7）真。
因为{a，b}是集合{a，b，{{a，b}}}的子集；8）假。
因为{a,b}不是集合{a，b，{{a，b}}}的元素。
4. 对任意集合A，B，C，确定下列命题的真假性：1）如果A∈B∧B∈C，则A∈C。
2）如果A∈B∧B∈C，则A∈C。
3）如果A⊂B∧B∈C，则A∈C。
[解] 1）假。
例如A={a}，B={a，b}，C={{a}，{b}}，从而A∈B∧B∈C但A∈C。
离散数学练习题(含答案)
离散数学试题第一部分选择题一、单项选择题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) 。
2024年4月离散数学真题
2024年4月高等教育自学考试全国统一命题考试离散数学(课程代码 02324)注意事项:1.本试卷分为两部分，第一部分为选择题，第二部分为非选择题。
2.应考者必须按试题顺序在答题卡(纸)指定位置上作答，答在试卷上无效。
3.涂写部分、画图部分必须使用2B铅笔，书写部分必须使用黑色字迹签字笔。
第一部分选择题一、单项选择题:本大题共15小题，每小题2分，共30分。
在每小题列出的备选项中只有一项是最符合题目要求的，请将其选出。
1.含有3个命题变元的任一命题公式的指派个数是A.6个B.8个C.9个D.10个2.下列命题公式为矛盾式的是A.P→(P ⋁Q ⋁R)B.¬(Q→P) APC.(P→¬P)→¬PD.(P ⋀¬P)→Q3.含有2个命题变元的命题A是重言式的条件是A的主析取范式含有A.4个小项B.1个小项C.4个大项D.1个大项4.设论域元素为a、b,与∀xR(x) ∧(∋y)S(x) 等价的是A.(R(a) ⋀R(b)) ⋀(S(a) ⋀S(b))B.(R(a) ⋀R(b)) ⋀(S(a) ⋁S(b))C.(R(a) ⋁R(b)) ⋀(S(a) ⋀S(b))D.(R(a) ⋁R(b)) ⋀(S(a) ⋁S(b))5.谓词公式 ∀xF(x) ⋀G(x,y) 中变元x 为A.自由出现B.约束出现C.既不是自由出现也不是约束出现D.既是自由出现也是约束出现6.设论域是正整数,下列谓词公式中值为真的是A.)10(22=+∃∀y x y xB.)10(22=+∃∀y x x yC.)10(22=+∀∀y x y xD.)10(22=+∃∃y x y x7.设A ={a,∅},P(A)是A 的幂集,下列选项中正确的是A.{a}∈ P(A),{a}⊆P(A)B.{{A}}∈P(A),{{a}}⊆P(A)C.{a}∈P(A),{∅}∈P(A)D.{a}∈P(A),{∅}⊆P(A)8.一个8阶简单图的边数最大为A.20B.25C.28D.309.下面关于n 阶树的描述,错误．．的是 A.连通图 B.连通且有n-1条边C.无回路且有n-1条边D.连通且无回路10.R={<0,1>,<1,2>,<2,3>},S={<2,1>,<1,2>,<3,3>},下列正确的是A.ran(R) ⊂ ran(R ∩S)B.ran(S) = ran(R ∪S)C.dom(R) = dom(S)D.dom(R) ∪ dom(S) = ran(R) ∪ ran(S)11.设A={1,2,3},则下列关系中是反自反关系的为A.R={<1,1>,<1,2>}B.R={<1,2>,<3,3>}C.R={<1,2>,<3,2>}D.R={<3,1>,<1,3>,<2,2>}12.设A={a,b,c} ,下列选项中既不是对称也不是反对称的是A.R={<a,a>,<a,b>,<b,a>,<c,b>,<b,c>}B.R={<a,a>，<b,b>}C.R={<a,c>，<a,b>}D.R={<a,c>，<b,b>}13. 设f: R →R,f(x) =⎩⎨⎧<-≥3232x x x ，，;g:R →R,g(x)=x+2,则g ∘f:R →R 是A.单射不满射B.满射不单射C.不单射不满射D.双射14.一个5阶简单图G,保证G 为连通图的最少边数为A.4B.5C.6D.715.下列各集合对于整除关系构成偏序集,不能．．构成格的集合是 A.L 1={1,2,3,4} B.L 2={1,2,3,6}C. L 3={1,3,5,15}D.L 4={1,3,9,81}第二部分 非选择题二、填空题:本大题共10小题，每小题2分，共20分。
(完整版)离散数学试题及答案,推荐文档
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 为真的解释有
__________________________，_____________________________,
__________________________.
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
《离散数学》题库及答案
《离散数学》题库及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答：（1），（4）2、下列公式中哪些是永真式？()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答：（2），（3），（4），（5），（6）4、公式某((A(某)B(y，某))zC(y，z))D(某)中，自由变元是(变元是()。
答：某,y,某,z5、判断下列语句是不是命题。
若是，给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
)，约束)(3)你喜欢唱歌吗？(4)若7+8＞18，则三角形有4条边。
(5)前进！(6)给我一杯水吧！答：（1）是，T（2）是，F（3）不是（4）是，T（5）不是（6）不是6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为()。
(1)只有在生病时，我才不去学校(2)若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4)若我不生病，则我一定去学校答：（1）QP（2）PQ（3）PQ（4）PQ8、设个体域为整数集，则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答：（1）对任一整数某存在整数y满足某+y=0（2）存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合，确定下列命题的真值：(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答：（1）F（2）F（3）F（4）T10、设谓词P(某)：某是奇数，Q(某)：某是偶数，谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学习题集(十五套)---答案.docx
离散数学试题与答案试卷一一、填空20%（每小题 2 分）1．设A{ x | ( x N )且 ( x5)}, B{ x | x E 且 x7}（ N：自然数集， E+正偶数）则 A B。
2．A ，B ， C 表示三个集合，文图中阴影部分的集合表达式为A B。
C 3．设 P，Q 的真值为0，R， S 的真值为1，则(P(Q(R P)))( R S)的真值 =。
4．公式( PR)(S R)P的主合取范式为。
5．若解释 I 的论域 D 仅包含一个元素，则xP( x)xP( x)在 I 下真值为。
6．设 A={1 ，2， 3， 4} ， A 上关系图为则 R2 =。
7．设 A={a ， b，c， d} ，其上偏序关系R 的哈斯图为则 R=。
8．图的补图为。
9．设 A={a ， b，c， d}，A上二元运算如下：*a b c da abc db bcd ac cd a bd d a b c那么代数系统<A ，*> 的幺元是，有逆元的元素为，它们的逆元分别为。
10．下图所示的偏序集中，是格的为。
二、选择20%（每小题 2 分）1、下列是真命题的有（）A ．{ a}{{ a}}；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． 23 3；D．32 2。
4、设 R，S 是集合 A 上的关系，则下列说法正确的是（）A ．若 R， S 是自反的，则RS 是自反的；B ．若 R， S 是反自反的，则 R S 是反自反的；C．若 R， S 是对称的，则RS 是对称的；D ．若 R， S 是传递的，则RS 是传递的。
5、设 A={1 ，2， 3， 4} ， P（ A ）（A 的幂集）上规定二元系如下R{s,t| s,t p( A)(| s || t |}则 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 | 。
离散数学习题集十五套含答案
离散数学试题与答案试卷一一、填空20% （每小题2分）1．设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且（N：自然数集，E+正偶数）则=⋃BA{0，1，2，3，4，6} 。
2．A，B，C表示三个集合，文图中阴影部分的集合表达式为ACB-⊕)(。
3．设P，Q 的真值为0，R，S的真值为1，则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。
4．公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。
5．若解释I的论域D仅包含一个元素，则)()(xxPxxP∀→∃在I下真值为1 。
6．设A={1，2，3，4}，A上关系图为则R2 = {<>,<a,c>,<a,d>,<b,d>,<c,d> 。
7．设A={a，b，c，d}，其上偏序关系R的哈斯图为则R= {<>,<a,c>,<a,d>,<b,d>,<c,d>}IA。
8．图的补图为9．设A={a，b，c，d} ，A上二元运算如下：* a b c dabcda b c db c d ac d a bd a b c那么代数系统<A，*>的幺元是 a ，有逆元的元素为a , b , c ,d，它们的逆元分别为 a , d , c , d 。
10．下图所示的偏序集中，是格的为 c 。
二、选择20% （每小题2分）1、下列是真命题的有（CD）A．}}{{}{aa⊆；B．}}{,{}}{{ΦΦ∈Φ；C．}},{{ΦΦ∈Φ；D．}}{{}{Φ∈Φ。
2、下列集合中相等的有（BC ）A．{4，3}Φ⋃；B．{Φ，3，4}；C．{4，Φ，3，3}；D．{3，4}。
3、设A={1，2，3}，则A上的二元关系有（ C ）个。
A．23 ；B．32 ；C．332⨯；D．223⨯。
4、设R，S是集合A上的关系，则下列说法正确的是（A ）A．若R，S 是自反的，则SR 是自反的；A BCB ．若R ，S 是反自反的， 则S R 是反自反的；C ．若R ，S 是对称的， 则S R 是对称的；D ．若R ，S 是传递的， 则S R 是传递的。
离散数学习题集(十五套)---答案
离散数学习题集(十五套)---答案离散数学试题与答案试卷一一、填空20% （每小题2分）1．设}7xx=+xBEx且（N：自A且∈Nxx|5)},{<(=)∈(|{<然A⋃B=2．A，B，C表示三个集合，文图中阴影部分的集合表达式为。
3．设P，Q 的真值为0，R，S的真值为1，则→∨⌝P⌝∨⌝的真值Q→∧)))((R()PR(S= 。
4．公式P∨∧)()(的主合取范式为∧RSRP⌝∨。
5．若解释I的论域D仅包含一个元素，则xP∀→∃在I下真值为x)()(xxP。
6．设A={1，2，3，4}，A上关系图为则R2 =。
7．设A={a，b，c，d}，其上偏序关系R的哈斯图为则R=。
8．图的补图为。
9．设A={a，b，c，d} ，A上二元运算如下：* a bc da b c d a b c db c d ac d a bd a b c那么代数系统<A，*>的幺元是，有逆元的元素为，它们的逆元分别为。
10．下图所示的偏序集中，是格的为 。
二、选择 20% （每小题 2分）1、下列是真命题的有（ ）A ． }}{{}{a a ⊆；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 是自反的， 则S R ο是自反的；B．若R，S 是反自反的，则SRο是反自反的；C．若R，S 是对称的，则SRο是对称的；D．若R，S 是传递的，则SRο是传递的。
5、设A={1，2，3，4}，P（A）（A的幂集）上规定二元系如下t st sR=p=则P（A）/ R=（）A<>∈∧s(|||{t)|},(|,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 | 。