高级检索

    叶瑞芬. 论布尔代数的公理系统与公理的独立性[J]. 华东理工大学学报（自然科学版）, 1992, (1).
    引用本文: 叶瑞芬. 论布尔代数的公理系统与公理的独立性[J]. 华东理工大学学报（自然科学版）, 1992, (1).
    shu
    Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).
    Citation: Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).
    shu

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

    On the Axiom Systems and the Independence of Axioms for Boolean Algebras

      摘要
    • 摘要: 朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。

       

      Abstract: In the reference 1 the author concludes that the conclusion in the references 2, 3, i. e. eight axioms for Boolean algebras due to E. V. Huntington are each other independent, is wrong. We take it that Huntington's eight axioms for Boolean algebra are dependent. Indeed, the conclusion of the reference1is mistaken, and the conclusion in the reference 2, 3is correct. We propose also other two axiom systems for Boolean algebra which are also independent.

       

      • HTML全文
      • 参考文献(0)
      • 相关文章
      • 施引文献
    • 资源附件(0)

    /

    返回文章
    返回