电大离散数学作业答案06任务.doc

《电大离散数学作业答案06任务.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、06任务_00081.  下列公式成立的为()．A.ØPÙØQÛPÚQB.P®ØQÛØP®QC.Q®PÞPD.ØPÙ(PÚQ)ÞQ2.  表达式中的辖域是()．A.P(x,y)B.P(x,y)ÚQ(z)C.R(x,y)D.P(x,y)ÙR(x,y)3.  命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR4.  命题公式(PÚQ)®Q为(     )A.矛盾式B.可满足式C.重言式D.合取范式5.  设P：我将去打球，Q：我有时间．命题“

2、我将去打球，仅当我有时间时”符号化为()．A.B.C.D.6.  设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))7.  下列公式中()为永真式．A.ØAÙØB«ØAÚØBB.ØAÙØB«Ø(AÚB)C.ØAÙØB«AÚBD.ØAÙØB«Ø(AÙB)8.  设个体域D是整数集合，则命题"x$y(x×y=y)的真值是（  ）．A.TB

3、.F                   C.不确定D.以上说法都不是9.  在谓词公式("x)(A(x)→B(x)ÚC(x，y))中，（）．A.x，y都是约束变元B.x，y都是自由变元C.x是约束变元，y都是自由变元D.x是自由变元，y都是约束变元10.  命题公式的析取范式是()．A.B.C.D.