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

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

ID:41492381

大小:140.50 KB

页数:3页

时间:2019-08-26

电大离散数学作业答案06任务0002_第1页
电大离散数学作业答案06任务0002_第2页
电大离散数学作业答案06任务0002_第3页
资源描述:

《电大离散数学作业答案06任务0002》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库

1、06任务_0002 1.  命题公式(PÚQ)®Q为(     )A.矛盾式B.可满足式C.重言式D.合取范式2.  设个体域为整数集,则公式"x$y(x+y=0)的解释可为(   ).A.存在一整数x有整数y满足x+y=0       B.任一整数x对任意整数y满足x+y=0C.对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03.  命题公式的析取范式是().A.B.C.D.4.  下列等价公式成立的为(   ).A.ØPÙPÛØQÙQB.ØQ®PÛP®QC.PÙQÛPÚQD.ØPÚPÛQ5.  设命题公式G:

2、,则使公式G取真值为1的P,Q,R赋值分别是().A.0,0,0B.0,0,1C.0,1,0D.1,0,06.  在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,().A.x,y都是约束变元B.x,y都是自由变元C.x是约束变元,y都是自由变元D.x是自由变元,y都是约束变元7.  命题公式P®Q的主合取范式是(   ).A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)B.ØPÙQC.ØPÚQD.PÚØQ8.  设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为(   ).A.Ø(x)(A(x)ÙØB(x))B.("

3、x)(A(x)ÙB(x))C.Ø("x)(A(x)®B(x))D. (x)(A(x)ÙB(x))9.  设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().A.B.C.D.10.  命题公式(PÚQ)®R的析取范式是()A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。