四色定理的证明需要语言学家韺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条否定了什厶？需要逻辑学家和语言学家参加。