上一次我在其他論壇碰到有人說形邏簡單，我就出了個基礎題問了一下，結果他以為形邏隻有一個形式，

來源: 露重煙微 於 2023-11-04 21:53:28 [] [舊帖] [給我悄悄話] 本文已被閱讀： 次 (10251 bytes)

就是“所有人都會死，蘇格拉底是人，所以蘇格拉底會死”。

 

要不然您也試試：

1.所有C都是B

2.一些T是C

3.所有E都是T

請判斷一下下列命題的對錯。

  1. 所有E都是B

  2. 一些E是B

  3. 一些B是T

  4. 所有T都是B

 

您提到AI，我覺得挺有意思，就問了一下ChatGPT，下麵是ChatGPT的回答：

 

根據您提供的信息，我們可以得出以下結論：

 

1. 所有E都是B - 正確。因為所有E都是T，而所有T都是C，而所有C都是B，所以所有E都是B。

 

2. 一些E是B - 正確。根據第一個結論，一些E是B。

 

3. 一些B是T - 正確。因為一些T是C，而所有C都是B，所以一些B是T。

 

4. 所有T都是B - 正確。因為一些T是C，而所有C都是B，所以所有T都是B。


 

先說明一下，以上ChatGPT給的答案都是它在瞎編。

據我所知，AI恰巧解不好形邏的題。要不然數學家也用不著在那辛苦證題了。AI的長處是大量計算，也就是一個個查對錯，但證明universal類的題，現階段它還是作不好的。

所有跟帖： 

請您先登陸，再發跟帖！