新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> 研友的交流园地，讨论关于计算机考研的方方面面。
    [返回] 计算机科学论坛 → 计算机理论与工程 → 『 计算机考研交流 』 → [求助]问个离散的问题，希望考完心情还不错的帮下忙哈~ ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 11298 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： [求助]问个离散的问题，希望考完心情还不错的帮下忙哈~ 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     fgffggfg 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(每天看1小时莱昂氏)
      文章：225
      积分：1170
      门派：XML.ORG.CN
      注册：2007/5/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客楼主
    发贴心情 [求助]问个离散的问题，希望考完心情还不错的帮下忙哈~

    书上第7页：
    (4)任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)怎么证明啊？
        或者说：存在x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)  是怎么证明的啊？？
    谢谢啊啊啊啊啊~~~~~

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/21 23:58:00
     
     zhouhaoaaaaa 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(汇编考了97分!)
      文章：65
      积分：405
      门派：XML.ORG.CN
      注册：2006/10/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhouhaoaaaaa发送一个短消息 把zhouhaoaaaaa加入好友 查看zhouhaoaaaaa的个人资料 搜索zhouhaoaaaaa在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看zhouhaoaaaaa的博客第2楼
    发贴心情 
    任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)
    先用蕴涵等值式          
    再用德摩根律             
    再用量词否定等值式    
    再进行量词分配
    最后再用德摩根律

    大概就这样了，好像课件上有类似的证明
    记不清了

    ----------------------------------------------
    I need not to need!

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/22 14:00:00
     
     fgffggfg 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(每天看1小时莱昂氏)
      文章：225
      积分：1170
      门派：XML.ORG.CN
      注册：2007/5/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客第3楼
    发贴心情 
    哥们,第一,课件上没有.第二,你说的那些我都用过了,证明了3个小时没证出来,不然也不用上来求助拉~~~~
    我怀疑我进入误区了,
    给个证明过程被~~
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/22 19:57:00
     
     冬天的农夫 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(面向对象是个好东东!)
      文章：85
      积分：606
      门派：XML.ORG.CN
      注册：2006/7/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给冬天的农夫发送一个短消息 把冬天的农夫加入好友 查看冬天的农夫的个人资料 搜索冬天的农夫在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看冬天的农夫的博客第4楼
    发贴心情 
    以下是引用fgffggfg在2008-2-21 23:58:00的发言：
    书上第7页：
    (4)任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)怎么证明啊？
         或者说：存在x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)  是怎么证明的啊？？
    谢谢啊啊啊啊啊~~~~~

    任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)

    “或”就代表"^"倒过来 呵呵 自己理解吧
    证明：
    任意x(A(x)—>B(x))
    => 任意x(~A(x)或B(x))
    =>a(~(A(a))或B(a))
    =>存在y(~(A(y))或B(y))
    =>存在y(~(A(y)))或存在B(y)
    =>存在y(A(y))->存在y(B(y))
    =>存在xA(x)—>存在xB(x)

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/22 20:32:00
     
     fgffggfg 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(每天看1小时莱昂氏)
      文章：225
      积分：1170
      门派：XML.ORG.CN
      注册：2007/5/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客第5楼
    发贴心情 
    以下是引用冬天的农夫在2008-2-22 20:32:00的发言：
    任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)
    “或”就代表"^"倒过来 呵呵 自己理解吧
    证明：
    任意x(A(x)—>B(x))
    => 任意x(~A(x)或B(x))
    =>a(~(A(a))或B(a))
    =>存在y(~(A(y))或B(y))
    =>存在y(~(A(y)))或存在B(y)
    =>存在y(A(y))->存在y(B(y))
    =>存在xA(x)—>存在xB(x)


    存在y(~(A(y))或B(y))
    =>存在y(~(A(y)))或存在B(y)
    =>存在y(A(y))->存在y(B(y))
    应该是:存在y(~(A(y))或B(y))
    =>存在y(~(A(y)))或存在yB(y)  吧??
         但是:存在y(~(A(y)))或存在yB(y)  并不能有=>存在y(A(y))->存在y(B(y))
         因为:~存在y(A(y))或存在yB(y)    才能有=>存在y(A(y))->存在y(B(y))
    农夫你再看看啊~
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/22 23:23:00
     
     冬天的农夫 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(面向对象是个好东东!)
      文章：85
      积分：606
      门派：XML.ORG.CN
      注册：2006/7/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给冬天的农夫发送一个短消息 把冬天的农夫加入好友 查看冬天的农夫的个人资料 搜索冬天的农夫在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看冬天的农夫的博客第6楼
    发贴心情 
    以下是引用fgffggfg在2008-2-22 23:23:00的发言：
    [quote]以下是引用冬天的农夫在2008-2-22 20:32:00的发言：
    任意x(A(x)—>B(x))=>存在xA(x)—>存在xB(x)
    “或”就代表"^"倒过来 呵呵 自己理解吧
      证明：
      任意x(A(x)—>B(x))
      => 任意x(~A(x)或B(x))
      =>a(~(A(a))或B(a))
      =>存在y(~(A(y))或B(y))
      =>存在y(~(A(y)))或存在B(y)
      =>存在y(A(y))->存在y(B(y))
      =>存在xA(x)—>存在xB(x)
    [/quote]
    存在y(~(A(y))或B(y))
      =>存在y(~(A(y)))或存在B(y)
      =>存在y(A(y))->存在y(B(y))
    应该是:存在y(~(A(y))或B(y))
      =>存在y(~(A(y)))或存在yB(y)  吧??
          但是:存在y(~(A(y)))或存在yB(y)  并不能有=>存在y(A(y))->存在y(B(y))
          因为:~存在y(A(y))或存在yB(y)    才能有=>存在y(A(y))->存在y(B(y))
    农夫你再看看啊~



    是写错了
    不好意思 呵呵 重写一边
    证明：
      任意x(A(x)->B(x))
      =>任意x(~A(x)VB(x))
      =>~A(a)VB(a)
      =>存在x(~A(x))V存在x(B(x))
      =>~(任意x(A(x)))V存在x(B(x))
      =>~(A(a))V存在x(B(x))
      =>~(存在xA(x))V存在x(B(x))
      =>存在xA(x))->存在x(B(x))

    这回应该没错了
    你再看看

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/24 15:36:00
     
     fgffggfg 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(每天看1小时莱昂氏)
      文章：225
      积分：1170
      门派：XML.ORG.CN
      注册：2007/5/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客第7楼
    发贴心情 
    以下是引用冬天的农夫在2008-2-24 15:36:00的发言：
        是写错了
    不好意思 呵呵 重写一边
      证明：
       任意x(A(x)->B(x))
       =>任意x(~A(x)VB(x))
       =>~A(a)VB(a)
       =>存在x(~A(x))V存在x(B(x))
       =>~(任意x(A(x)))V存在x(B(x))
       =>~(A(a))V存在x(B(x))
       =>~(存在xA(x))V存在x(B(x))
       =>存在xA(x))->存在x(B(x))
    这回应该没错了
    你再看看


    还是不对吧？？
    =>~(任意x(A(x)))V存在x(B(x))
       =>~(A(a))V存在x(B(x))
       =>~(存在xA(x))V存在x(B(x))这里有问题吧？
    由    任意x(A(x)))          能有=>存在xA(x))
    但是 ~(任意x(A(x)))并不能说=>~(存在xA(x))
    因为   ~(任意x(A(x)))<=>存在x(~A(x))
    那么由  存在x(~A(x))  如何能有=>~(存在xA(x))??
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/24 22:31:00
     
     冬天的农夫 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(面向对象是个好东东!)
      文章：85
      积分：606
      门派：XML.ORG.CN
      注册：2006/7/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给冬天的农夫发送一个短消息 把冬天的农夫加入好友 查看冬天的农夫的个人资料 搜索冬天的农夫在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看冬天的农夫的博客第8楼
    发贴心情 
    以下是引用fgffggfg在2008-2-24 22:31:00的发言：
      还是不对吧？？
    =>~(任意x(A(x)))V存在x(B(x))
        =>~(A(a))V存在x(B(x))
        =>~(存在xA(x))V存在x(B(x))这里有问题吧？
    由    任意x(A(x)))          能有=>存在xA(x))
    但是 ~(任意x(A(x)))并不能说=>~(存在xA(x))
    因为   ~(任意x(A(x)))<=>存在x(~A(x))
    那么由  存在x(~A(x))  如何能有=>~(存在xA(x))??

    ~(任意x(A(x))) 先去掉全程谓词变成 ~(A(a))
    然后再加上存在谓词变成~(存在xA(x))
    注意域就可以了

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/24 23:28:00
     
     fgffggfg 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(每天看1小时莱昂氏)
      文章：225
      积分：1170
      门派：XML.ORG.CN
      注册：2007/5/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fgffggfg发送一个短消息 把fgffggfg加入好友 查看fgffggfg的个人资料 搜索fgffggfg在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看fgffggfg的博客第9楼
    发贴心情 
    以下是引用冬天的农夫在2008-2-24 23:28:00的发言：
    [quote]以下是引用fgffggfg在2008-2-24 22:31:00的发言：
       还是不对吧？？
      =>~(任意x(A(x)))V存在x(B(x))
         =>~(A(a))V存在x(B(x))
         =>~(存在xA(x))V存在x(B(x))这里有问题吧？
      由    任意x(A(x)))          能有=>存在xA(x))
      但是 ~(任意x(A(x)))并不能说=>~(存在xA(x))
      因为   ~(任意x(A(x)))<=>存在x(~A(x))
      那么由  存在x(~A(x))  如何能有=>~(存在xA(x))??
    [/quote]
    ~(任意x(A(x))) 先去掉全程谓词变成 ~(A(a))
    然后再加上存在谓词变成~(存在xA(x))
    注意域就可以了


    肯定不行啊~
    因为： ~(存在xA(x))=>存在x(~A(x))
    如果再有存在x(~A(x))=>~(存在xA(x))的话
    岂不是有：存在x(~A(x))<=>~(存在xA(x))    拉？？
    农夫你再看看吧，反正我是疯了，就是证明不出来，gaga
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/26 15:55:00
     
     九九 帅哥哟，离线，有人找我吗？射手座1984-11-25
      
      
      等级：大二期末(Java考了96分!)
      文章：49
      积分：309
      门派：XML.ORG.CN
      注册：2007/5/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给九九发送一个短消息 把九九加入好友 查看九九的个人资料 搜索九九在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看九九的博客第10楼
    发贴心情 
    是不是这样的？
    对任意x(A(x)->B(x)=〉存在x(A(x)-->B(x)
    等价于 (对任意x(A(x)->B(x))---〉存在x(A(x)-->B(x)))恒真
    即(对任意x(A(x)->B(x))---〉存在x(A(x)-->B(x)))=1
    (对任意x(A(x)->B(x))---〉存在x(A(x)-->B(x)))
    =~(对任意x(A(x)-->B(x))或(存在x(A(x)-->B(x))
    =~(对任意x(~A(x)或B(x))或(存在x(~A(x)或B(x))
    =(存在x(~A(x)或B(x)))或(存在x(~A(x)或B(x))
    =存在x((~A(x)或B(x))或(~A(x)或B(x)))
    =1

    我是这样想的，只提供一个思路，是否正确就有大家来指点喽！

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/2/27 9:55:00
     
     GoogleAdSense射手座1984-11-25
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 计算机考研交流 』 的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/21 4:12:48

    本主题贴数13，分页： [1] [2]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 104.492ms