逻辑吧 关注:115,750贴子:605,646
  • 2回复贴,共1

这个显然是错的嘛,课件上的

只看楼主收藏回复


Q=TRUE,P->Q = ~P或Q = TRUE,那么~P显然等于TRUE嘛,也就是P为FALSE,求验证我的想法


1楼2013-03-25 11:08回复
    错了,纠正一下
    Q=FALSE,P->Q = ~P或Q = TRUE,那么~P显然等于TRUE,也就是P为FALSE,怎么可能推出P为TRUE?


    2楼2013-03-25 11:11
    回复
      课件写错了,应该是推出“非P”。


      3楼2013-03-25 21:55
      回复