离散数学网上作业任务7附标准答案

《离散数学网上作业任务7附标准答案》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、离散数学网上作业06任务_0037答案1.  设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为()．A.B.C.D.2.  下列等价公式成立的为(   )．A.ØPÙPÛØQÙQB.ØQ®PÛP®QC.PÙQÛPÚQD.ØPÚPÛQ3.  设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是()．A.0,0,0B.0,0,1C.0,1,0D.1,0,04.  下列公式中()为永真式．A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙØB«Ø(AÙB)5.  谓词公式是（   ）．A.不可满足

2、的B.可满足的C.有效的D.蕴含式6.  命题公式(PÚQ)®Q为(     )A.矛盾式B.可满足式C.重言式D.合取范式7.  命题公式（PÚQ）的合取范式是()．A.（PÙQ）B.（PÙQ）Ú（PÚQ）C.（PÚQ）D.Ø（ØPÙØQ）8.  设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.  前提条件的有效结论是()．A.PB.ØPC.QD.ØQ10.  下列等价公式成立的为()．A.ØPÙØQÛPÚQ

3、B.P®(ØQ®P)ÛØP®(P®Q)C.Q®(PÚQ)ÛØQÙ(PÚQ)D.ØPÚ(PÙQ)ÛQ