逻辑学吧 关注:38,006贴子:144,456
  • 7回复贴,共1

求大神有偿证明

只看楼主收藏回复

用直接证明法证明下面5个命题。
可➕v有偿


来自iPhone客户端1楼2021-07-28 15:25回复


    IP属地:陕西2楼2021-08-06 14:03
    回复
      ①p→(q→r)
      ②¬p∨¬q∨r
      ③¬(p∧q)∨r
      ④(p∧q)→r


      IP属地:陕西来自Android客户端3楼2021-08-08 07:18
      回复
        (p∨r)∧s
        ¬¬((p∨r)∧s)
        ¬(¬(p∨r)∨¬s)
        ¬((p∨r)→¬s)


        IP属地:陕西来自Android客户端4楼2021-08-08 07:31
        回复


          IP属地:陕西5楼2021-08-08 13:16
          回复
            题干要求直接证明


            IP属地:陕西来自Android客户端6楼2021-08-08 15:06
            回复


              IP属地:陕西7楼2021-08-08 17:57
              回复
                第(1)题,有结论无前提。当然不能用直接证明法,只能用间接证明或假设证明法。


                IP属地:北京来自Android客户端8楼2021-08-08 22:05
                回复