离散数学(3)

第三部分数理逻辑选择题判断题注意：选项A B C D顺序会出现变动！根据选项确定答案！1、设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．A. B. C. D.2. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是(1, 0, 0 )．A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 03. 下列公式中(⌝A∧⌝B ↔⌝(A∨B))为永真式A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)4. 下列公式( (P→(⌝Q→P))↔(⌝P→(P→Q)) )为重言式A. ⌝P∧⌝Q↔P∨QB. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C. (P→(⌝Q→P))↔(⌝P→(P→Q))D. (⌝P∨(P∧Q)) ↔Q5. 下列等价公式成立的为( ⌝P∧P⇔⌝Q∧Q )A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q6. 下列等价公式成立的为( P→(⌝Q→P) ⇔⌝P→(P→Q) )A. ⌝P∧⌝Q⇔P∨QB. P→(⌝Q→P) ⇔⌝P→(P→Q)C. Q→(P∨Q) ⇔⌝Q∧(P∨Q)D. ⌝P∨(P∧Q) ⇔Q7.下列公式成立的为( ⌝P∧(P∨Q)⇒Q)A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q8. 命题公式的析取范式是( )．A. B. C. D.9. 命题公式(P∨Q)→R的析取范式是( (⌝P∧⌝Q)∨R)A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R10. 命题公式（P∨Q）的合取范式是( （P∨Q）)．A. （P∧Q）B. （P∧Q）∨（P∨Q）C. （P∨Q）D. ⌝（⌝P∧⌝Q）11. 命题公式P→Q的主合取范式是( ⌝P∨Q )．A. (P∨Q)∧(P∨⌝Q)∧(⌝P∨⌝Q）B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q12. 命题公式(P∨Q)→Q为( 可满足式)A. 矛盾式B. 可满足式C. 重言式D. 合取范式13. 在谓词公式(∀x)(A(x)→B(x)∨C(x，y))中，（x是约束变元，y都是自由变元）A. x，y都是约束变元B. x，y都是自由变元C. x是约束变元，y都是自由变元D. x是自由变元，y都是约束变元14. 表达式中的辖域是(P(x, y)∨Q(z) )．A. P(x, y)B. P(x, y)∨Q(z)C. R(x, y)D. P(x, y)∧R(x, y)15. 设A（x）：x是人，B（x）：x是工人，则命题“有人是工人”可符号化为（(x)(A(x)∧B(x)) ）A. (x)(A(x)∧B(x))B. (∀x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. ⌝(x)(A(x)∧⌝B(x))16. 设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（⌝(∀x)(A(x)→B(x))）．A. (x)(A(x)∧B(x))B. ⌝(x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. ⌝(x)(A(x)∧⌝B(x))17、设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为()．A. B.C. D.18. 设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为（(A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(b))）A. (A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(b))B. (A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(b))C. (A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(b))D. (A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(b))19. 谓词公式是（不可满足的）A.不可满足的B. 可满足的C. 有效的D. 蕴含式20、前提条件的有效结论是( ⌝Q)．A. PB. ⌝PC. QD. ⌝Q21.设A（x）：x 是人，B（x）：x 是教师，则命题“有人是教师”可符号化为（(ョx)(A(x)∧B(x)) ）．A. ¬(ョx)(A(x)∧¬B(x))B.(∀x)(A(x)∧B(x))C. ¬(∀x)(A(x)→B(x))D.(ョx)(A(x)∧B(x))22. 设个体域D是整数集合，则命题∀xョy (x•y = y)的真值是（T ）．A. TB.FC.不确定D.以上说法都不是23. 设个体域为整数集，则公式∀xョy(x+y)=0 的解释可为(对任一整数x存在整数y满足x+y=0 )．A. 对任一整数x存在整数y满足x+y=0B. 存在一整数x有整数y满足x+y=0C. 存在一整数x对任意整数y满足x+y=0D. 任一整数x对任意整数y满足x+y=024. 设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（⌝(∀x)(A(x)→B(x)) ）．A. (x)(A(x)∧B(x))B. ⌝(x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. ⌝(x)(A(x)∧⌝B(x))二、判断题1. 命题公式┐P∧(P∨Q) ⇒Q成立( 对)2. 设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( 错)3. 设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( 对)4. 含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)( 对) 5. 命题公式┐P∧(P→┐Q)∨P为永真式. ( 对)6. 设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( 错)7. 下面的推理是否正确．(1) (∀x)A(x)→B(x) 前提引入(2) A(y)→B(y) US (1) ( 错)8. 设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( 对)9. 设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( 错)10. 设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书”符号化的结果为P∨Q．( 错)11. 谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( 对)12. 设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( 对)13. 谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( 错)14. 设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( 错)15. 命题公式┐(P→Q)的主析取范式是P∨┐Q ( 错)16. 设P：小王来学校，Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( 对)17. 谓词公式┐(∀x)P(x) (∃x)┐P(x)成立．( 对)18. 命题公式┐P∧P的真值是T ( 错)19. 设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( 错) 20. 命题公式P→(Q∨P)的真值是T．( 对)。

习题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)为假。

3.6从1到300的整数中（1）同时能被3、5、和7这3个数整除的数有A个。

（2）不能被3、5，也不能被7整除的数有B个。

（3）可以被3整除，但不能被5和7整除的数有C个。

（4）可被3或5整除，但不能被7整除的数有D个。

（5）只能被3、5和7之中的一个数整除的数有E个。

供选择的答案A、B、C、D、E：①2；②6；③56；④68；⑤80；⑥102；⑦120；⑧124；⑨138；⑩162。

解：设1到300之间的整数构成全集E，A、B、C分别表示其中可被3、5或7整除的数的集合。

文氏图如下图：在A∩B∩C中的数一定可以被3、5和7的最小公倍数105整除，即∣A∩B∩C∣=⎣300/105⎦=2，同样可得∣A∩B∣=⎣300/15⎦=20，∣A∩C∣=⎣300/21⎦=14，∣B∩C∣=⎣300/35⎦=8.然后将20-2=18，14-2=12，8-2=6分别填入邻近的3块区域.再计算∣A∣=⎣300/3⎦=100，∣B∣=⎣300/5⎦=60，∣C∣=⎣300/7⎦=42.所以∣A∪B∪C∣=162.所以本题的答案是：A=①2；B=⑨138；C=④68；D=⑦120；E=⑧124.3.10列元素法表示下列集合。

（1）A={ x | x ∈N ∧x2 ≤7}.（2）A={ x | x ∈N ∧|3-x|<3}.（3）A={ x | x ∈R ∧(x+1)2≤0}.（4）A={<x,y> |x,y∈N∧x+y≤4}.解：(1) A={0，1，2}.(2) A={1,2,3,4,5}.(3) A={-1}.(4) A={<0,0>,<0,1>,<0,2>,<0,3>,<0,4>,<1,0>,<2,0>,<3,0>,<4,0>,<1,1>,<1,2>,<1,3>,<2,1>,<3,1>,<2,2>}.3.11求使得以下集合等式成立时，a,b,c,d应满足的条件。

3.9解：符号化：p：a是奇数. q：a是偶数. r：a能被2整除前提：(p→¬r),(q→r)结论：(q→¬p)证明：确。

方法2（等值演算法）(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔((p∧r) ∨¬p)∨((q∧¬r) ∨¬q)⇔(r∨¬p) ∨(¬r∨¬q)⇔¬p∨(r∨¬r) ∨¬q⇔1即证得该式为重言式，则原结论正确。

方法3（主析取范式法）(p→¬r)∧(q→r) →(q→¬p)⇔(¬p∨¬r)∧(¬q∨r) →(¬q∨¬p)⇔(p∧r) ∨(q∧¬r) ∨¬q∨¬p⇔m0+ m1+ m2+ m3+ m4+ m5+ m6+ m7可知该式为重言式，则结论推理正确。

3.10. 解：符号化：p：a是负数. q：b是负数. r：a、b之积为负前提： r→(p∧¬q) ∨(¬p∧q)结论：¬r→(¬p∧¬q)方法1（真值法）证明：不正确。

方法2（主析取范式法）证明：(r→(p∧¬q) ∨(¬p∧q)) →(¬r→(¬p∧¬q))⇔¬ (¬r∨(p∧¬q) ∨(¬p∧q)) ∨(r∨(¬p∧¬q))⇔r∨(¬p∧¬q)⇔m0+m2+m4+m6+m7只含5个极小项，课件原始不是重言式，因此推理不正确3.11.填充下面推理证明中没有写出的推理规则。

《离散数学》第三部分----代数结构一、选择或填空1、设A={2,4,6}，A上的二元运算*定义为：a*b=max{a,b}，则在独异点<A,*>中，单位元是( )，零元是( )。

答：2，62、设A={3,6,9}，A上的二元运算*定义为：a*b=min{a,b}，则在独异点<A,*>中，单位元是( )，零元是( )；答：9，33、设〈G,*〉是一个群，则(1) 若a,b,x∈G，a*x=b，则x=( )；(2) 若a,b,x∈G，a*x=a*b，则x=( )。

答：（1）a*-1 b （2）b4、设a是12阶群的生成元，则a2是( )阶元素，a3是( )阶元素。

答：6,45、代数系统<G,*>是一个群，则G的等幂元是( )。

答：单位元6、设a是10阶群的生成元，则a4是( )阶元素，a3是( )阶元素。

答：5，107、群<G,*>的等幂元是( )，有( )个。

答：单位元，18、素数阶群一定是( )群, 它的生成元是( )。

答：循环群，任一非单位元9、设〈G,*〉是一个群，a,b,c∈G，则(1) 若c*a=b，则c=( )；(2) 若c*a=b*a，则c=( )。

答：（1）b1-*a(2) b10、<H,,*>是<G,,*>的子群的充分必要条件是( )。

答：<H,,*>是群或∀ a，b ∈G，a*b∈H，a-1∈H 或∀ a,b ∈G，a*b-1∈H 11、群＜A,*＞的等幂元有( )个，是( )，零元有( )个。

答：1，单位元，012、在一个群〈G,*〉中，若G中的元素a的阶是k，则a-1的阶是( )。

答：k13、在自然数集N上，下列哪种运算是可结合的？（）(1) a*b=a-b (2) a*b=max{a,b} (3) a*b=a+2b (4) a*b=|a-b| 答：(2)14、任意一个具有2个或以上元的半群，它（）。

离散数学试题带答案一、填空题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变成完全图。