网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
逻辑学吧 关注：38,131贴子：144,708
  • 9回复贴，共1页

逻辑学学生求教

只看楼主收藏回复

第十五题我需要将前提2的x和前提3的x同时新名假设一样的才能证明出来，可为什么这两个能同时假假设为a呢？
第十六题是完全不会
IP属地:吉林来自Android客户端1楼2025-01-24 16:23回复
    👀
    插眼，
    有没有大神能证明出来啊。第十六题感觉有点难啊。
    顺便问问楼主做的是什么习题册，有没有答案啊。
    IP属地:河北来自iPhone客户端2楼2025-01-27 23:03
    回复
      特称量词的例示规则，比较费解，应该仔细读读它的限制条件。
      IP属地:北京来自Android客户端3楼2025-01-28 13:51
      回复
        谓词逻辑存在例示EI规则问题
        IP属地:北京来自Android客户端4楼2025-01-28 13:54
        回复
          学离散数学，求大神赐教，存在量词消去规...
          IP属地:北京来自Android客户端5楼2025-01-28 13:55
          回复
            a并且b蕴含c
            等价于a蕴含（b蕴含c）
            然后用二三前提做几次分离规则就行
            IP属地:贵州来自Android客户端7楼2025-02-08 10:16
            回复
              先弄前提3，把b（x）提出来，在用b（x）把前提2的h（kz）用mp得出，再对1做两次mp得到h（xy），然后bx去推h(xy），再合取一次bx，即可
              IP属地:贵州来自Android客户端8楼2025-02-08 10:19
              回复
                还能优化下，但大差不大这么个意思。
                IP属地:河北来自Android客户端9楼2025-03-14 21:13
                收起回复
                  我也做出来了。不过我的EI没有代入name，而是做的个体变元。
                  IP属地:河北来自iPhone客户端10楼2025-03-28 14:47
                  回复

                    扫二维码下载贴吧客户端

                    下载贴吧APP
                    看高清直播、视频！
                    • 9回复贴，共1页
                    发表回复
                    发贴请遵守贴吧协议及“七条底线”贴吧投诉
                    内  容:
                      查看全部
                    发 表
                    保存至快速回贴

                    发布成功
                    去贴吧APP订阅抽奖结果通知
                    扫码进入贴吧APP
                    ···········
                    开奖后第一时间站内信通知
                    ···········
                    中奖结果全员公示