亨廷顿公理系统(Huntington axiomatic system)通常用来定义布尔代数〈B,+,·,′,0,1〉的一种公理系统,由亨廷顿(E.V.Huntington)于1904年提出,值得指出的是,这个公理系统中每一条都有两个式子,它们互为对偶,因此通常把这些条件称为自对偶的公理系统;然而这个公理系统却不是独立的,若将布尔代数的性质3中a+0=a或a·1=a去掉,则由其余的公理组成的系统才是独立的 。
想要了解更多“亨廷顿公理系统”的信息,请点击:亨廷顿公理系统百科
亨廷顿公理系统(Huntington axiomatic system)通常用来定义布尔代数〈B,+,·,′,0,1〉的一种公理系统,由亨廷顿(E.V.Huntington)于1904年提出,值得指出的是,这个公理系统中每一条都有两个式子,它们互为对偶,因此通常把这些条件称为自对偶的公理系统;然而这个公理系统却不是独立的,若将布尔代数的性质3中a+0=a或a·1=a去掉,则由其余的公理组成的系统才是独立的 。
想要了解更多“亨廷顿公理系统”的信息,请点击:亨廷顿公理系统百科
扫一扫,手机浏览