2017离散数学答案解析1--5)(2)

《2017离散数学答案解析1--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®

2、PÞPD.ØPÙ(PÚQ)ÞQ4.  下列公式中()为永真式．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.Ø（

3、ØPÙØQ）8.  设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是()．A.0,0,0B.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ÛQ06任务_0002试卷总分：100    测试时间：0单项选择题 一、单项选择题（共 10 道试题，共 100 分

4、。）1.  命题公式(PÚQ)®Q为(     )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.B.C.D.4.  下列等价公式成立的为(   )．A.ØPÙPÛØQÙQB.ØQ®PÛP®QC.PÙQÛPÚQD.Ø

5、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，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ÙQC.ØPÚQD.PÚØQ8.  设A（x）：x是人，B（x）：x是教师，则命题

6、“有人是教师”可符号化为（   ）．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：我有时间．命题“我将去打球，仅当我有时间时”符号化为()．A.B.C.D.10.  命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR06任务_0003试卷总分：100    测试时间：0单项选择题 一、单项选择题（共 10 道

7、试题，共 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«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)ÚRB.(PÙQ)ÚRC.(

8、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都是约束变元7.  下列公式中()为永真式．A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙØB«Ø(AÙB)8.  设A（x）：x