2017年最新电大离散数学06-024任务

《2017年最新电大离散数学06-024任务》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、06任务_0024一、单项选择题（共 10 道试题，共 100 分。）1.  设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  分2.  命题公式（PÚQ）的合取范式是()．A.（PÙQ）B.（PÙQ）Ú（PÚQ）C.（PÚQ）D.Ø（ØPÙØQ）      满分：10  分3.  命题公式(PÚQ)®R的析取范式是()A

2、.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR      满分：10  分4.  下列公式()为重言式．A.ØPÙØQ«PÚQB.(Q®(PÚQ))«(ØQÙ(PÚQ))C.(P®(ØQ®P))«(ØP®(P®Q))D.(ØPÚ(PÙQ))«Q      满分：10  分5.  下列公式中()为永真式．A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙØB«Ø(AÙB)      满分：10  分6.  下列等价公式成立的为()．A.ØPÙØQ

3、ÛPÚQB.P®(ØQ®P)ÛØP®(P®Q)C.Q®(PÚQ)ÛØQÙ(PÚQ)D.ØPÚ(PÙQ)ÛQ      满分：10  分7.  设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  分8.  命题公式的析取范式是()．A.B.C.D.      满分：10  分9.  在谓词公式("x)(A(x)→B(x

4、)ÚC(x，y))中，（）．A.x，y都是约束变元B.x，y都是自由变元C.x是约束变元，y都是自由变元D.x是自由变元，y都是约束变元      满分：10  分10.  设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为()．A.B.C.D.      满分：10  分