论布尔代数的公理系统与公理的独立性

来源 :华东化工学院学报 | 被引量 : 0次 | 上传用户:jiangnannan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。
其他文献
目的本文结合实际的教学工作,阐述了目前药理学实验教学中存在的一些问题,并提出从三个方面来改善药理学实验教学现状。①通过药理学实验教学内容的改进和教学手段的整体优化来
目的探讨经鼻内镜联合额窦前壁开窗双径路手术治疗额窦骨折并脑脊液漏围手术期的护理措施。方法回顾性分析13例经鼻内镜联合额窦前壁开窗双径路手术治疗额窦骨折并脑脊液漏的
目的通过系统性护理提高冠状动脉介入治疗患者睡眠质量及术后舒适度。方法将1602例择期冠状动脉介入治疗患者进行评估,评估内容包括患者一般情况、心理状况、睡眠状况、以及
目的探讨手术(扁桃体、腺样体切除术)治疗前后儿童阻塞性睡眠呼吸暂停综征(OSAS)生长激素(GH)及胰岛素样生长因子-1(IGF-1)的变化情况。方法 200例确诊为OSAS的患儿在清晨采静脉血测
中药专业毕业生要求既有一定理论基础,又有较强的实践动手能力,具有创新精神的应用型人才,这对如何培养和提高学生实际操作能力提出了更高的要求。我们在实践中发现引导和鼓励学
本法集取了流动法和循环法的优点、具有测定速度快、设备结构紧凑、测控装置简单、操作方便等特点。在温度30~70℃、二氧化碳分压0.01~0.113 3MPa、N-甲基二乙醇胺(MDEA)浓度20~50
目的健全护理安全路径,降低护理风险系数,防范住院患者跌倒的发生。方法从2010年1月起健全并对住院病人全面实施"跌倒危机评估-防跌倒预见性护理-住院安全知情同意书应用-建立
用静态法测定了CO_2-CH_3COCH_3二元系在温度313.15K和323.15K、压力1.000~7.139MPa条件下的相平衡数据。用PR方程和SRK方程结合适当的混合规则进行拟合,取得了较满意的结果。
建立了一套用文题方法测定中压汽液平衡的装置、测压范围为0~7MPa。采用了液体物料集中脱气、液相转移物料、连续进料、以数字式精密压力计测量溶液总蒸汽压的实验方法,每次实
目的研究大段冷冻同种异体骨移植股骨远近骨缺损的重建膝关节疗效。方法2005年~2007年应用大段异体骨治疗股骨远端严重毁损病例7例,其中均为开放性股骨远端骨缺损,异体股骨远端