逻辑吧 关注:115,619贴子:604,548
  • 1回复贴,共1

命题逻辑求助

只看楼主收藏回复

通过变形知道了式1是永真式,“A交B能推出C说明了A能推出C或B能推出C”,用韦恩图画出了一个反例,但是赋值后发现仍然是真的。我感觉问题出在了“式1无法说明‘A交B能推出C说明了A能推出C或B能推出C”上。求指点


IP属地:北京来自iPhone客户端1楼2024-12-18 15:22回复
    韦恩图能表达 推出 吗 我记得只能表示集合之间的关系
    推出是集合间的关系吗


    IP属地:辽宁2楼2024-12-19 01:34
    回复