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

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

1、06任务_00031.  设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.(PÚQ)ÚRD.(ØPÙØQ

2、)ÚR5.  命题公式P®Q的主合取范式是(   )．A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B.ØPÙQ3/3C.Ø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是书，B（x）：x是数学书，则命题“不是所有

3、书都是数学书”可符号化为（   ）．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.  设个体域D={a,b,c}，那么谓词公式消去量词后的等值式为．A.(A(a)ÚA(b)ÚA(c))Ú(B(a)ÙB(b)ÙB(b))B.(A(a)ÙA(b)ÙA(c))Ú(B(a)ÚB(b)ÚB(b))C.(A(a)ÚA(b)ÚA(c))Ú(B(a)ÚB(b)ÚB(b))D.(A(a)ÙA(b)ÙA(c))Ú(B(a)ÙB(b)ÙB(b

4、))10.  前提条件的有效结论是()．3/3A.PB.ØPC.QD.ØQ3/3