当前位置 :
一道离散数学中谓词逻辑方面的题、设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词
1人问答
八字精批流年运程八字合婚八字起名
问题描述:

一道离散数学中谓词逻辑方面的题、

设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词逻辑表示下,然后推导出最后结论,过程最好清晰一些,

白玉洁回答:
  x:人(动物);R(x):x能阅读;W(x):x是识字的;C(x):x是聪明的,D(x):x是海豚   1.(∨x)(R(x)->W(x))   2.(∨x)(D(x)->~W(x))   3.(ヨx)(D(x)∧C(x))   需证明的结论:(ヨx)(C(x)∧~W(x))   证明:   ⒈(ヨx)(D(x)∧C(x))P   ⒉D(y)∧C(y)∨-   ⒊(∨x)(D(x)->~W(x))P   ⒋D(y)T(2)   ⒌C(y)T(2)   W(y)T(3,4)   W(y)∧C(y)5,6合并   ⒏(ヨx)(C(x)∧~W(x))∨+   不知为什么证明的时候第一个命题没有用上.
八字精批 八字合婚 八字起名 八字财运 2024运势 测终身运 姓名详批 结婚吉日
已出生未出生
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞
复制重新加载
原创不易,您的支持将成为鼓励我的动力
《一道离散数学中谓词逻辑方面的题、设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词|高中数学问答-字典翻译问答网》
1、付费复制方式
支付宝付费后即可复制当前文章
限时特价:5.99元
原价:20元
打开支付页
2、微信付费复制方式
微信扫码付费后即可复制当前文章
限时特价:5.99元
原价:20元