《离散考试复习题 180题》由会员分享，可在线阅读，更多相关《离散考试复习题 180题（21页珍藏版）》请在金锄头文库上搜索。
1、1第一部分：数理逻辑1 下列语句是命题的是( ）：A.15 能被 3 整除，3 是偶数吗？ B.明年 5 月 1 日是晴天C.2X+30 D.我在说谎. 2 下列叙述中有( ）个命题(1)离散数学是计算机科学系的一门必修课 (2) 地球外的星球上也有人 (3) 我正在说谎. (4)请不要吸烟 A.1 个 B.2 个 C. 3 个 D. 4 个 3 下列语句中不是命题的只有（ ）A这个语句是假的。 B1+1=1.0C飞碟来自地球外的星球。 D凡石头都可练成金。4 设 p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是Apq BpqCpq Dpq5 令 p：今天下雪了，
2、 q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）A. pq BpqC. pq Dpq 6 使用逻辑连接词将下列复合命题符合化：（1） 如果天不下雪且我有时间，我就进城；（2） 我进城的必要条件是我有时间；（3） 天不下雪或我不进城；（4） 我进城当且仅当我有时间且天不下雪。7 判断下面一段论述是否为真：“ 是无理数。并且，如果 3 是无理数，则 也是无理2数。另外 6 能被 2 整除，6 才能被 4 整除。 ”11. 将下列命题符号化 (1)2 或 3 是素数.(2)4 或 6 是素数.2(3)小元元只能拿一个苹果或一个梨.(4)王晓红生于 1975 年或 1976 年. 8
3、命题公式 q(pq)的成真赋值是 9 命题公式 p(p(q(qr)的成假赋值是 10 命题公式(p(qr)(p(qr)的成真赋值是 11 命题公式 p(p(qr)的成假赋值是 12.下列命题公式中是重言式的为（ ）A. B. q)p(rqp)(C. D. )p13 命题公式“ ”，是_。 （永真式、非永真式的可满足式、矛(盾式）14.命题公式“ ”，是_。 （永真式、非永真式的可满足)()(qpqp式、矛盾式）15.命题公式“ ”，是（ ）)()()( qrA.永真式 B. 非永真式的可满足式C.矛盾式 D. 不确定 16. 下列为永假式的是（ ） 。A、 B、 QP)( QP)(C、 D、1
4、7. 设 P，Q 的真值为 0，R，S 的真值为 1，则的真值= 。)()( 18. 全体小项合取式为（ ） 。A、可满足式； B、永假式； C、永真式； D、A，B，C 都可能。19. 全体大项析取式为（ ） 。A、可满足式； B、永假式； C、永真式； D、A，B，C 都可能。20. 设命题公式 ，则公式 G 的主合取范式是()GPQR_。321. 命题公式 G= (P Q) (P Q) ，则其主合取范式为 。22. 已知命题公式含有三个命题变元，且其主析取范式为 ，则其主合取范式013m为( )。A、 B、 24567mm2MC、 D、 M23. 证 明 下 列 恒 等 式 ：(1) (
5、)()PQRPQ(2) F24. 证 明 下 列 恒 等 式 ：(1) ()()(2) PQT25.设公式 A 含命题变项 ，又已知 A 的主合取范式为 ,则rqp、 5320MA 的主析取范式为 。26.设公式 A 含命题变项 ，又已知 A 的主析取范式为 ,则 A、 7641m的主合取范式为 。27 一个命题公式 A(P,Q,R)的成真指派为 000，001，010，100，110，则其主析取范式为 .28 一个命题公式 A(P,Q,R)的成假指派为 000，001，010，100，110，则其主合取范式为 . 29 在自然推理系统 P 中构造下面推理的证明：前提：q p,q s,s t,
6、t r结论：p q30 构造下面命题推理的证明如果我学习，那么我数学不会不及格；如果我不热衷于玩游戏机，那么我将学习；但我数学不及格，因此我热衷与玩游戏机。31 在自然推理系统中构造下面推理的证明：若数 a 是实数，则它不是有理数就是无理数。若 a 不能表示成分数，则它不是有理数。a 是实数且它不能表示成分数。所以 a 是无理数。32 证明下面推理： 前提： )(),(srqp4结论: sqp)(33 证明下面推理：前提： rp,)(结论: sr34 已知今天下雨或刮风；如果今天下雨，那么我在家看书；如果今天刮风，那么我去放风筝；今天我没有在家看书。所以今天刮风并且我去放风筝了。35 在自然推
7、理系统中用归谬法证明下面各推理：前提：p q, r q,r s结论： p36. 将命题“没有人登上过木星” 用谓词符合化 37.将命题“在美国留学的学生未必都是亚洲人” 用谓词符合化 38.将命题“兔子比乌龟跑的快” 用谓词符合化 39.将命题“有的兔子比所有的乌龟跑的快” 用谓词符合化 答案： ，其中 ， ，),()(yxHGxFy是 兔 子xF:)(是 乌 龟xG:)(40.将命题“并不是所有的兔子都比乌龟跑的快” 用谓词符合化 41 用谓词公式将下列语句形式化：（1）发亮的东西不都是金子。（2）不是所有的男人都至少比一个女人高，但至少有一个男人比所有的女人高。42 论域 D=1，2，指定
8、谓词 PP (1,1)P (1,2)P (2,1)P (2,2)T T F F则公式 真值为 。()(,)xy43 表达式 中x 的辖域是( ),(),( yzyRzxQPA B),(zxyQ,zQxPC DR),(y44 设谓词的定义域是a,b,c,试将表达式 R（x） S(x)中的量词消除，写成与之等价的命题公式答案: ( R(a) R(b) R(c) ( S(a) S(b) S(c)545 设谓词的定义域是a,b,c, 试将表达式 中的量词消除，写成与之等价),(yxH的命题公式 46 将 （ P(x) R(x,y)） Q(x,y)中的变量换名或替代，使其不含既是约束出现又x是自由出现的
9、个体变量 47 将 (P(x) (R(x) Q(x) R(x) 中的变量换名或替代，使其x),(zxS不含既是约束出现又是自由出现的个体变量 48 设 B 不含有 x， 等值于 ( )(BAA. B. C. D.A)(xBxA( )(BxA49 下列四个公式正确的是 )()()( BAxBx )()()( x xA BAxBxAA. B. C. D.50 量词否定等值式 _。)(xA答案: )(x51. 谓词合式公式 的前束范式为 ()()xPxQ。52. 给出下面公式的前束合取范式。()(,)()(),xPQxyyz53 求 的前束范式。,xHGF54 试将 （ P(x，y) （ Q(z)
10、R(x)） ）化成等价的前束范式。xyz55 试将 (（ P（x,y,z） Q(x,u)） Q(y,v)化成等价的前束范式zuv56.构造下面推理的证明前提： ，)(xGFx)(F结论： 657 前提： )(),()( xRFxHxGFx结论: R58 构造下面推理的证明:前提: ,)()()( yRyFx)(xF结论: xR(x)59 构造下面推理的证明不存在能表示成分数的无理数。有理数都能表示成分数。因此，有理数都不是无理数。60 构造下面推理的证明人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以，存在喜欢吃蔬菜而不喜欢吃鱼的人。61. 设 A(x):x 能被 3 整除；B(x):x 能被
11、6 整除；个体域为：1,2,6,7,12。则下列各式真值为 F 的是( )。A、 B、 x )()(xBAxC、 D、 )()(B第二部分：集合论1. 下列关于集合的表示中，正确的是（ ） 。A、 ； B、 ；a,C、 ； D、 。,2. 下列关于集合的表示中，正确的是（ ） 。A、 B、 ,abc,abcC、 D、 ,a3 集合 A=1,2,3,4,B=a,b,c,则下列叙述正确的是（ ）7A. 1A B. cBC. 2 A D. a，b，c B4 集合 A=1,2,3,4,B=a,b,c,则不正确的是（ ）A. 1，2，4 A B. 2，3 C. D. 2 AA5 集合a，b的幂集是 设集合 A= ，则其幂集 =_答案: A26 设 S,T,M 是集合，下列结论正确的是（ ）A如果 ST=SM，则 T=M B如果 S-T=，则 S=TC DS)(TSI7 设 A,B,C 是三个非空集合,则( )是正确的.A. B. CBACBAC. D. 8 以下叙述正确的是（ ）A. 若 ,则 AB=B B. 若 a A,则 aAB BAC. 若 aAB,则 aA D. 若 ,则 AB=ABA9 设 A，B，C 为三个任意集合，试证明（1）若 AA=BB，则 A=B；（2）若 AB=AC，且 A
