上一次我在其他论坛碰到有人说形逻简单，我就出了个基础题问了一下，结果他以为形逻只有一个形式，

来源: 露重烟微 于 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类的题，现阶段它还是作不好的。

所有跟帖： 

请您先登陆，再发跟帖！