网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
数学吧 关注：902,598贴子：8,796,325
  • 3回复贴，共1页

离散数学里的自然演绎证明求助

只看楼主收藏回复


这个要怎么证明呢？要使用哪些自然演绎的规则呢？谢谢谢谢!!
IP属地:广东1楼2021-10-05 18:04回复
    顶
    IP属地:广东来自Android客户端3楼2021-10-09 10:13
    回复
      广告
      立即查看
      可以用推演定理比较方便如果p，Γ断定q，那么Γ断定p—>q。
      IP属地:北京来自Android客户端4楼2021-10-09 13:14
      收起回复

        扫二维码下载贴吧客户端

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

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