收藏本站
《数学学报》 1951年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

四值命题演算与四色问题(英文)

胡世华  陈强业  
【摘要】:本文指出四值命题演算与四色问题之间的一个关系:在四值命题演算中定义一个命题类;容易证明,如果这类中的每一分子都是四值命题演算中的定理,那么四色问题即完全解决,这样,就把四色问题还原至四值命题演算的问题了.本文最后说明本文对于四色问题虽无直接贡献,然由于数理逻辑的成果,提供了一些研究四色问题新方向的可能性.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 乐毓俊,史念东;关于W_1L演算的注记[J];华中科技大学学报(自然科学版);1980年01期
2 陈廷槐,吴学谋;转移逻辑、乏晰逻辑与泛系逻辑(Ⅰ)[J];华中科技大学学报(自然科学版);1980年S2期
3 杨忠道;四色问题和五色定理[J];自然杂志;1980年11期
4 郭俊义;试论作战模拟中的有关量化问题[J];系统工程理论与实践;1981年03期
5 王世强;吴望名;;可补格按恒Ⅰ式集分类的问题(Ⅱ)[J];北京师范大学学报(自然科学版);1981年01期
6 韩大中;;数学推理规则及其应用[J];西安科技大学学报;1981年01期
7 沈彤英;关于命题形式的协调系[J];数学通报;1982年01期
8 李凤鸣;《实质蕴涵》的一种立论[J];内蒙古师范大学学报(自然科学汉文版);1982年02期
9 刘彦佩;平面图的理论与四色问题(Ⅰ)——平面性与对偶性[J];数学研究与评论;1983年03期
10 朱水林;;西方逻辑史简介(下)[J];世界科学;1983年09期
中国重要会议论文全文数据库 前10条
1 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年
2 张尚水;;二十世纪逻辑学的发展[A];逻辑学文集[C];1978年
3 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年
4 吴坚;;两种不同的蕴涵[A];1995年逻辑研究专辑[C];1995年
5 王靖华;;华沙学派主要逻辑思想概述[A];1996年逻辑研究专辑[C];1996年
6 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年
7 李立锋;;K-SEQ语义下经典定理的真值与“真”概念[A];1998年逻辑研究专辑[C];1998年
8 张尚水;;沈有鼎的数理逻辑工作[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
9 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
10 莫绍揆;;金岳霖教授对数理逻辑的贡献[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
中国重要报纸全文数据库 前5条
1 本报记者 齐柳明;计算数学需要中国学派[N];光明日报;2002年
2 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年
3 葛之;常读常新的数学科普名著[N];中华读书报;2005年
4 方舟子;质疑中国哲学家证明四色定理[N];北京科技报;2006年
5 张景中;对四色问题的独特探讨[N];中华读书报;2008年
中国硕士学位论文全文数据库 前3条
1 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年
2 唐朝君;构形可约性证明的DNA算法[D];北京工业大学;2005年
3 王新峰;数学视野中逻辑与语言的成功融合[D];山西大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026