亨廷顿公理系统
(用来定义布尔代数的公理系统)
亨廷顿公理系统(Huntington axiomatic system)通常用来定义布尔代数〈B,+,·,′,0,1〉的一种公理系统,由亨廷顿(E.V.Huntington)于1904年提出,值得指出的是,这个公理系统中每一条都有两个式子,它们互为对偶,因此通常把这些条件称为自对偶的公理系统;然而这个公理系统却不是独立的,若将布尔代数的性质3中a+0=a或a·1=a去掉,则由其余的公理组成的系统才是独立的。在布尔代数中,有几种不同的公理系统。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】