资源描述：
《离散数学任务6001和任务6018答案.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、06任务_0001试卷总分：100 测试时间：--·单项选择题一、单项选择题（共 10 道试题，共 100 分。）1. 表达式中的辖域是()．A.P(x,y)B.P(x,y)ÚQ(z)C.R(x,y)D.P(x,y)ÙR(x,y) 满分：10 分2. 设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)) 满分：10 分3. 命题
2、公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR 满分：10 分4. 设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)) 满分：10 分5. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为()．A.B.C.D. 满分：10 分6. 设C(
3、x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为()．A.B.C.D. 满分：10 分7. 下列公式成立的为()．A.ØPÙØQÛPÚQB.P®ØQÛØP®QC.Q®PÞPD.ØPÙ(PÚQ)ÞQ 满分：10 分8. 在谓词公式("x)(A(x)→B(x)ÚC(x，y))中，（）．A.x，y都是约束变元B.x，y都是自由变元C.x是约束变元，y都是自由变元D.x是自由变元，y都是约束变元 满分：10 分9. 下列等价公式成立的为()．A.ØP
4、ÙØQÛPÚQB.P®(ØQ®P)ÛØP®(P®Q)C.Q®(PÚQ)ÛØQÙ(PÚQ)D.ØPÚ(PÙQ)ÛQ 满分：10 分10. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是()．A.0,0,0B.0,0,1C.0,1,0D.1,0,0 满分：10 分06任务_0018试卷总分：100 测试时间：--·单项选择题一、单项选择题（共 10 道试题，共 100 分。）1. 下列公式中()为永真式．A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙ
5、ØB«Ø(AÙB) 满分：10 分2. 下列公式()为重言式．A.ØPÙØQ«PÚQB.(Q®(PÚQ))«(ØQÙ(PÚQ))C.(P®(ØQ®P))«(ØP®(P®Q))D.(ØPÚ(PÙQ))«Q 满分：10 分3. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为()．A.B.C.D. 满分：10 分4. 设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（）．A.(x)(A(x)ÙB(x))B.Ø(
6、x)(A(x)ÙB(x))C.Ø("x)(A(x)®B(x))D.Ø(x)(A(x)ÙØB(x)) 满分：10 分5. 命题公式的析取范式是()．A.B.C.D. 满分：10 分6. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是()．A.0,0,0B.0,0,1C.0,1,0D.1,0,0 满分：10 分7. 下列等价公式成立的为()．A.ØPÙØQÛPÚQB.P®(ØQ®P)ÛØP®(P®Q)C.Q®(PÚQ)ÛØQÙ(PÚQ)D.ØPÚ(PÙQ)ÛQ 满分：10
7、 分8. 表达式中的辖域是()．A.P(x,y)B.P(x,y)ÚQ(z)C.R(x,y)D.P(x,y)ÙR(x,y) 满分：10 分9. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为()．A.B.C.D. 满分：10 分10. 下列公式成立的为()．A.ØPÙØQÛPÚQB.P®ØQÛØP®QC.Q®PÞPD.ØPÙ(PÚQ)ÞQ 满分：10 分
