亨廷顿公理系统
(用来定义布尔代数的公理系统)
亨廷顿公理系统(Huntington axiomatic system)通常用来定义布尔代数〈B,+,·,′,0,1〉的一种公理系统,由亨廷顿(E.V.Huntington)于1904年提出,值得指出的是,这个公理系统中每一条都有两个式子,它们互为对偶,因此通常把这些条件称为自对偶的公理系统;然而这个公理系统却不是独立的,若将布尔代数的性质3中a+0=a或a·1=a去掉,则由其余的公理组成的系统才是独立的。在布尔代数中,有几种不同的公理系统。
加载更多
领域
提 交
代数
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》