欢迎来到天天文库
浏览记录
ID:47024672
大小:328.54 KB
页数:21页
时间:2019-06-28
《207离散数学答案--5)(2)》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、实用文档06任务_0001试卷总分:100 测试时间:0单项选择题 一、单项选择题(共 10 道试题,共 100 分。)1. 命题公式的析取范式是().A.B.C.D.2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A.存在一整数x有整数y满足x+y=0 B.任一整数x对任意整数y满足x+y=0C.对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 下列公式成立的为().A.ØPÙØQÛPÚQB.P®ØQÛØP®QC.Q®PÞP标准文案实用文档D.ØPÙ(PÚQ)ÞQ4. 下列公式
2、中()为永真式.A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙØB«Ø(AÙB)5. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().A.B.C.D.6. 命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR7. 命题公式(PÚQ)的合取范式是().A.(PÙQ)B.(PÙQ)Ú(PÚQ)标准文案实用文档C.(PÚQ)D.Ø(ØPÙØQ)8. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是().A.0,0,0B
3、.0,0,1C.0,1,0D.1,0,09. 命题公式P®Q的主合取范式是( ).A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B.ØPÙQC.ØPÚQD.PÚØQ10. 下列等价公式成立的为( ).A.ØPÙPÛØQÙQB.ØQ®PÛP®QC.PÙQÛPÚQD.ØPÚPÛQ标准文案实用文档06任务_0002标准文案实用文档试卷总分:100 测试时间:0单项选择题 一、单项选择题(共 10 道试题,共 100 分。)1. 命题公式(PÚQ)®Q为( )A.矛盾式B.可满足式C.重言式D.合取范式2. 设个体域为整数集,则公式"x$y(x
4、+y=0)的解释可为( ).A.存在一整数x有整数y满足x+y=0 B.任一整数x对任意整数y满足x+y=0C.对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 命题公式的析取范式是().A.B.C.D.标准文案实用文档4. 下列等价公式成立的为( ).A.ØPÙPÛØQÙQB.ØQ®PÛP®QC.PÙQÛPÚQD.ØPÚPÛQ5. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是().A.0,0,0B.0,0,1C.0,1,0D.1,0,06. 在谓词公式("x)(A(x)→B(x)ÚC(x
5、,y))中,().A.x,y都是约束变元B.x,y都是自由变元C.x是约束变元,y都是自由变元D.x是自由变元,y都是约束变元7. 命题公式P®Q的主合取范式是( ).A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B.ØPÙQ标准文案实用文档C.ØPÚQD.PÚØQ8. 设A(x):x是人,B(x):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))9. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间
6、时”符号化为().A.B.C.D.10. 命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR标准文案实用文档06任务_0003标准文案实用文档试卷总分:100 测试时间:0单项选择题 一、单项选择题(共 10 道试题,共 100 分。)1. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().A.B.C.D.2. 下列公式成立的为().A.ØPÙØQÛPÚQB.P®ØQÛØP®QC.Q®PÞPD.ØPÙ(PÚQ)ÞQ3. 下列公式()为重言式.A.ØPÙØQ
7、«PÚQB.(Q®(PÚQ))«(ØQÙ(PÚQ))C.(P®(ØQ®P))«(ØP®(P®Q))D.(ØPÚ(PÙQ))«Q4. 命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚR标准文案实用文档B.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR5. 命题公式P®Q的主合取范式是( ).A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B.ØPÙQC.ØPÚQD.PÚØQ6. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,().A.x,y都是约束变元B.x,y都是自由变元C.x是约束变元,y都是自由变元D.x是自由变元,y都是约束
8、变元7.
此文档下载收益归作者所有