文件名称:Boole代数的等价刻画 (2007年)
文件大小:701KB
文件格式:PDF
更新时间:2024-05-13 00:29:06
自然科学 论文
目的 给出 Boole代数的等价刻画 ,揭示 Boole代数和二值命题逻辑的另一种内在联系 , 使 Boole代数更便捷地和其他代数联系。方法 从二值逻辑的公理集入手 ,运用推理 ,证明 ,举例的方法进行了讨论。结果 得出了 Boole代数的等价刻画以及等价刻画中各条公理的独立性 .并且利用等价刻画 ,讨论了 Boole代数与其它代数的关系。结论 Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。