共查询到16条相似文献,搜索用时 78 毫秒
1.
代数替换公理与对偶原理 总被引:4,自引:0,他引:4
史天治 《重庆文理学院学报(自然科学版)》2007,26(2):7-11
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理.通过这两个规律,极大地简化和统一了布尔代数中的运算规律和运算公式.在布尔代数中,A的非与A的对偶本质上是一回事.对偶本质上是一种对称的关系.一个代数表达式(这里的表达式是一个广义的概念,它可以是一个变量,一个常量,一个逻辑函数,一个集合表达式等)的对偶,等于该表达式中的每个元素(如变量、常量、运算符、关系符等,对偶算子除外)分别同时取其对偶,并保持原来的运算次序不变(也即原表达式中的对偶算子和括号位置不变);对于关系表达式而言,原表达式与其对偶表达式必然同时正确或同时错误,这一规律叫做对偶原理. 相似文献
2.
叶瑞芬 《华东理工大学学报(自然科学版)》1992,(1)
朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。 相似文献
3.
关于Heyting代数公理系统的一个注记 总被引:1,自引:0,他引:1
施恩伟 《云南师范大学学报(自然科学版)》1999,19(4):1-2
Heyting代数是一类重要的代数,很多数学结构都与这一代数有联系。在本文,我们指出,Heyting代数的公理系统中的一个条件是多余的。 相似文献
4.
史天治 《长春师范学院学报》2006,(10)
该文利用对偶原理创造性地解决了平面图、连通图及对偶图之间的相互关系问题,纠正了长期以来对于平面图及其同构的错误认识,指出平面图必为连通图,平面图本质上是画在同一平面上的顶点、边、面均不相交的连通图。两个平面图的同构指这两个平面图的顶点、边、面之间均有一一对应关系。面是平面图区别于非平面图的本质特征。同构的平面图的对偶图必同构,事实上,平面图的对偶图是唯一的。任意一个平面图都伴有一个隐图,而该隐图实质上是该平面图的对偶图,该隐图可(根据对偶原理)通过D—过程画出。平面图与其对偶图互为对偶。显平面图与其隐对偶图合称为相伴对偶图。 相似文献
5.
史天治 《长春师范学院学报》2006,25(5):38-40
该文利用对偶原理创造性地解决了平面图、连通图及对偶图之间的相互关系问题,纠正了长期以来对于平面图及其同构的错误认识,指出平面图必为连通图,平面图本质上是画在同一平面上的顶点、边、面均不相交的连通图.两个平面图的同构指这两个平面图的顶点、边、面之间均有一一对应关系.面是平面图区别于非平面图的本质特征.同构的平面图的对偶图必同构,事实上,平面图的对偶图是唯一的.任意一个平面图都伴有一个隐图,而该隐图实质上是该平面图的对偶图,该隐图可(根据对偶原理)通过 D-过程画出.平面图与其对偶图互为对偶.显平面图与其隐对偶图合称为相伴对偶图. 相似文献
6.
7.
8.
9.
10.
11.
12.
周纪安 《首都师范大学学报(自然科学版)》1989,10(3):16-22
本文主要就仿射平面的特征,介绍在仿射平面上建立对偶原则的一种方法。这种方法的要点是将仿射平面上不平行于ox轴的直线m:x y_0y x_0=0与点M(x_0,y_0)建立对偶对应。然后,根据这样的对应来阐述初等几何中本来不相关的两个仅反映仿射性质的命题,却能够对偶地联系起来。 相似文献
13.
本文对原子 Boolean格代数模中的有限秩算子进行了讨论,得到了一些结论,这些结论是子空间格代数中相应结论的推广 . 相似文献
14.
目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。 相似文献
15.
在探讨密码学中布尔函数性质的基础上,提出了一个具有高代数免疫阶布尔函数的构造方法,利用这种方法可以构造出一类具有高代数免疫阶的布尔函数,并给出了一个实例。 相似文献
16.