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

就是“所有人都会死，苏格拉底是人，所以苏格拉底会死”。

 

要不然您也试试：

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类的题，现阶段它还是作不好的。