逻辑学吧 关注:38,054贴子:144,570
  • 4回复贴,共1

有了gpt4,重新问一遍这个问题?大家给个参考。

取消只看楼主收藏回复

个体域:整个键盘上的按键
A:按下按键
B:开机
公式1:彐x(A(x)→B)
翻译成自然语言:存在至少一个按键,按下它就会导致开机
公式2:∀xA(x)→B
翻译成自然语言:按下所有按键,会开机。
两个公式是等价的没问题吧?两句话怎么看都不是一个意思!到底是哪里出问题了?


IP属地:浙江1楼2023-05-27 07:04回复
    谁能看懂GPT4最后那段,说的是什么?是不是强行解释?



    IP属地:浙江2楼2023-05-27 07:05
    回复
      在我看来,要不我自己是个智障,要不就是GPT4是个智障,要不就是谓词逻辑语言有问题。等等再问他。


      IP属地:浙江4楼2023-05-27 07:11
      回复
        他认错了,认同了我后来的观点,不知道是不是违心的。


        IP属地:浙江7楼2023-05-27 14:07
        回复
          为了书写方便,假设键盘上就2个键,q和w。个体域 = {q,w}
          ∃x(A(x)→B) 存在一个按键,按就开机。
          (A(q)→B)∨(A(w))→B) 按q键就开机,或者按w键就开机。
          (~A(q)∨B)∨(~A(w))∨B) 没有按q键或者开机,或者,没有按w键或者开机。
          ~A(q)∨~A(w)∨B 没有按q键,或者没有按w键,或者开机。
          ~(A(q)∧A(w))∨B 要不就是没有把q和w都按过,要不就开机了。
          (A(q)∧A(w))→B 按过q,也按过w,一定会导致开机
          ∀xA(x)→B 按过所有的键,一定会导致开机。


          IP属地:浙江15楼2023-05-29 08:29
          收起回复