四色定理的证明需要语言学家韺U

一，下面是四色定理证明发生的过程：

第1条：平面或者球面只能画出4个两两相连区域，说明3種颜色对地图染色是不{的。

第2条：A德摩根证明了平面或者球面不能画出5个和5个以上的两两相连的区域。

第3条：於是产生了命题：在平面或者球面的地图染色4種颜色就足{了。（可以腹造n个两两相连区域並且　法腹造n+1个两两相连区域等價於n定理）

第4条：反驳第3条，下面这个图不是4个区域两两相连，依然需要4種颜色（6个区域，需要4種不同的颜色ABCD）。

的確，上面这个图不是4个区域两两相连，但是3種颜色是不{的。

------------------------------------------------

二，问题：

a，上面4条两两之间是什厶关系？总體是什厶关系？

b，第4条对第3条的反驳是否有效？

下面这个图是两两相连，1,2,3,4代表上面的4条判断。

第1與第2之间的关系是相容的，没有排斥。

第3與第1和第2之间是相容，没有排斥，是不是必然结果有待证明。

第4条與第3条的关系：第4条不是第3条的否定命题。

--------------------

三，下面是最重要的：

那厶，第4条否定了什厶？需要逻辑学家和语言学家参加。