直言命题推理理 离散数学,求助！！

来源：蜘蛛抓取(WebSpider) 时间：2011-10-17 05:22 标签： 直言命题推理
将下面命题符号化，并构造推理证明：_离散数学吧_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0成为超级会员，使用一键签到本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：4,793贴子：
将下面命题符号化，并构造推理证明：收藏
所有有理数是实数，有些有理数是整数，所以有些实数是整数。兄弟姐妹们，这到题符号化了，不知道我符号化对没，但是不知道怎么构造推理证明。还请高手不吝赐教贴上答案，先拜谢了！我自己符号化为（全称量词用ν代替，存在量词用汉字“彐”（xue）代替）：Q(x):x是有理数;R(x):x是实数;Z(x):x是整数。νx(Q(x)-&R(x))∧彐x(Q(x)∧Z(x))＝＞彐(R(x)∧Z(x))
再贴上这样两个题：（1）取个体域为整数集，公式彐xνy(x+y=2y)为假命题。书上答案说的，但是我不懂为什么啊？（2）νyνx(「F(x,z)∨G(y))是彐xF(y,x)-&νyG(y)的前束范式，答案说的，为什么啊？求解答：
If(Vx∈Q，x∈R)and(彐x∈Q，such that x∈Z), then 彐x∈R，such that x∈Z
后面个看不懂你再说啥，直接拍个照片不就行了么。。。
不清楚那个问题就不要了，下面这个贴图上的问题怎么做啊，因为没有答案而我又不怎么会，所以拜托大家了！
登录百度帐号推荐应用
为兴趣而生，贴吧更懂你。或给出下列推理的过程的形式证明前提:p→(q→r),(r∧s)→t ,┐h→(s∧┐t).结论:p→(q→h)
用CP规则证明：（1） p P（附加前提）（2） q P（附加前提）（3） p→(q→r) P（4） q→r T（1）（3）I（5） r T（2）（4）I（6） (r∧s)→t P（7）（┐rv┐s）vt T（6）E（8）r→（┐svt） T（7）E（9）（┐svt） T（5）（8）I（10） ┐h→(s∧┐t) P（11）┐(s∧┐t) →h T（10）E（12）┐(s∧┐t) T（9）E（13）h T（11）（12）I（14） p→(q→h) CP
为您推荐：
其他类似问题
做出来了 不一定对..你看看.(1) p→(q→r) (2)
┐h→(s∧┐t).
(r∧s)→t⇒
┐ ( r ∧ s ) ∨ t
(蕴含)⇒
( ┐r ∨ ┐s ) ∨ t
(摩根定律)⇒
┐r ∨ ( ┐s ∨ t )
(交换律)<...
扫描下载二维码君，已阅读到文档的结尾了呢~~
离散数学命题逻辑的推理理论离散数学
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
离散数学命题逻辑的推理理论
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口&#xe621; 上传我的文档
&#xe602; 下载
&#xe60c; 收藏
该文档贡献者很忙，什么也没留下。
&#xe602; 下载此文档
正在努力加载中...
离散数学 命题逻辑的推理理论
下载积分：1000
内容提示：离散数学 命题逻辑的推理理论
文档格式：PPT|
浏览次数：312|
上传日期： 13:31:53|
文档星级：&#xe60b;&#xe60b;&#xe60b;&#xe612;&#xe612;
该用户还上传了这些文档
离散数学 命题逻辑的推理理论
官方公共微信君，已阅读到文档的结尾了呢~~
广告剩余8秒
文档加载中
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
离散数学课件03命题逻辑的推理理论
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口

我要回帖

更多关于 直言命题推理 的文章

 

随机推荐