欢迎来到淘文阁 - 分享文档赚钱的网站! | 帮助中心 好文档才是您的得力助手!
淘文阁 - 分享文档赚钱的网站
全部分类
  • 研究报告>
  • 管理文献>
  • 标准材料>
  • 技术资料>
  • 教育专区>
  • 应用文书>
  • 生活休闲>
  • 考试试题>
  • pptx模板>
  • 工商注册>
  • 期刊短文>
  • 图片设计>
  • ImageVerifierCode 换一换

    离散数学形成性考核作业7答案(共4页).doc

    • 资源ID:14359818       资源大小:114.50KB        全文页数:4页
    • 资源格式: DOC        下载积分:20金币
    快捷下载 游客一键下载
    会员登录下载
    微信登录下载
    三方登录下载: 微信开放平台登录   QQ登录  
    二维码
    微信扫一扫登录
    下载资源需要20金币
    邮箱/手机:
    温馨提示:
    快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如填写123,账号就是123,密码也是123。
    支付方式: 支付宝    微信支付   
    验证码:   换一换

     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    离散数学形成性考核作业7答案(共4页).doc

    精选优质文档-倾情为你奉上一、填空题1命题公式的真值是 1 2设P:他生病了,Q:他出差了R:我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ )R 3含有三个命题变项P,Q,R的命题公式PÙQ的主析取范式是 (PÙQÙR)(PÙQÙR) 4设P(x):x是人,Q(x):x去上课,则命题“有人去上课” 可符号化为 5设个体域Da, b,那么谓词公式消去量词后的等值式为 6设个体域D1, 2, 3,A(x)为“x大于3”,则谓词公式($x)A(x) 的真值为 0 7谓词命题公式("x)(A(x)ÙB(x) ÚC(y)中的自由变元为 y 8谓词命题公式("x)(P(x) ®Q(x) ÚR(x,y)中的约束变元为 x 三、公式翻译题 1请将语句“今天是天晴”翻译成命题公式解:设P:今天是晴天,命题“今天是晴天”翻译成命题公式为P。 2请将语句“小王去旅游,小李也去旅游”翻译成命题公式 解:设P:小王去旅游,Q:小李去旅游命题“小王去旅游,小李也去旅游”翻译成命题公式为PQ。 3请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式解:设P:明天天下雪,Q:我就去滑雪命题“如果明天天下雪,我就去滑雪”翻译成命题公式为PQ。 4请将语句“他去旅游,仅当他有时间”翻译成命题公式解:设P:他去旅游,Q:他有时间命题“他去旅游,仅当他有时间”翻译成命题公式为PQ。 5请将语句 “有人不去工作”翻译成谓词公式解:设P(x):x是人,Q(x):x去工作命题“有人不去工作”翻译成谓词公式为。 6请将语句“所有人都努力工作”翻译成谓词公式解:设P(x):x是人,Q(x):x努力工作命题“所有人都努力工作”翻译成谓词公式为四、判断说明题(判断下列各题,并说明理由) 1命题公式ØPÙP的真值是1答:不正确。因为当P是真命题时,P是假命题,当P是假命题时,P是真命题,所以PP是假命题,真值是0。 2命题公式ØPÙ(P®ØQ)ÚP为永真式 答:正确。因为P(PQ),PP,所以命题公式是永真式。 3谓词公式是永真式答:正确。因为。所以命题公式是永真式。 4下面的推理是否正确,请给予说明(1) ("x)A(x)® B(x) 前提引入(2) A(y) ®B(y) US (1)答:不正确。因为的辖域是,不包含,所以根据全称量词消去规则,只能得到,而不能得到。四计算题1 求P®QÚR的析取范式,合取范式、主析取范式,主合取范式解:所以P®QÚR的析取范式为,合取范式为,主合取范式为,即。则主析取范式为,2求命题公式(PÚQ)®(RÚQ) 的主析取范式、主合取范式解:所以(PÚQ)®(RÚQ)的主合取范式为,即。则主析取范式为,3设谓词公式(1)试写出量词的辖域;(2)指出该公式的自由变元和约束变元解:(1)量词的辖域为,量词的辖域为,量词的辖域为;(2)该公式的自由变元为,自由出现2次,自由出现1次,约束变元为,约束出现2次,各约束出现1次。 4设个体域为D=a1, a2,求谓词公式"y$xP(x,y)消去量词后的等值式;解:谓词公式"y$xP(x,y)消去量词后的等值式为:五、证明题 1试证明 (P®(QÚØR)ÙØPÙQ与Ø (PÚØQ)等价证明:所以,(P®(QÚØR)ÙØPÙQ与Ø (PÚØQ)等价2试证明($x)(P(x) ÙR(x)Þ($x)P(x) Ù ($x)R(x)证明:(1) ($x)(P(x) ÙR(x) P(2) P(c) ÙR(c) ES(1)(3) P(c) T (2) E(4) R(c) T (2) E(5) ($x)P(x) EG(3)(6) ($x) R(x) EG(4)(7) ($x)P(x) Ù($x)R(x) T (5) (6) E专心-专注-专业

    注意事项

    本文(离散数学形成性考核作业7答案(共4页).doc)为本站会员(飞****2)主动上传,淘文阁 - 分享文档赚钱的网站仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知淘文阁 - 分享文档赚钱的网站(点击联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    关于淘文阁 - 版权申诉 - 用户使用规则 - 积分规则 - 联系我们

    本站为文档C TO C交易模式,本站只提供存储空间、用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。本站仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知淘文阁网,我们立即给予删除!客服QQ:136780468 微信:18945177775 电话:18904686070

    工信部备案号:黑ICP备15003705号 © 2020-2023 www.taowenge.com 淘文阁 

    收起
    展开