搜索结果: 1-5 共查到“数学 命题演算”相关记录5条 . 查询时间(0.082 秒)
四值命题演算与四色问题
2007/12/12
本文指出四值命题演算与四色问题之间的一个关系:在四值命题演算中定义一个命题类;容易证明,如果这类中的每一分子都是四值命题演算中的定理,那么四色问题即完全解决,这样,就把四色问题还原至四值命题演算的问题了.本文最后说明本文对于四色问题虽无直接贡献,然由于数理逻辑的成果,提供了一些研究四色问题新方向的可能性.