逻辑学吧 关注:38,050贴子:144,541
  • 5回复贴,共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
        回复
          个体域 = {q,w,e,r`````}
          注:字母代表对应键盘。
          ∀xA(x)→B
          <=> (A(q)∨A(w)∨A(e)````)→B
          <=> (A(q)→B)∨(A(w)→B)∨(A(e)→B)````
          最后一个直接翻译过来就是,按q就会开机,或者按w就会开机,或者按e就会开机············
          如此和“存在一个按键按下就会开机”在自然语言中也等价了,也很好理解了。


          IP属地:浙江10楼2023-05-28 09:13
          收起回复
            为了书写方便,假设键盘上就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
            收起回复