82命题代数 定义20.1:设T={F,},这里ar(F)=0, ar(→)=2。称任何这样的T代数为命题代 数。 例对于Z2={0,1},构造T代数。 令F2:2={}Z2,F2,()=0, 2:2-Z2,→z2(m,n)=1+m(+n) “+,”是模2加法和乘法运算 构成了一个命题代数。a·b简写为ab§2 命题代数 定义2 0 .1 :设T={F,→}，这里ar(F)=0， ar(→)=2。称任何这样的T-代数为命题代 数。 例:对于Z2={0,1}，构造T-代数。 令FZ2 :Z2 0={}→Z2 , FZ2 ()=0, →Z2 :Z2 2→Z2 , →Z2 (m,n)=1+m·(1+n) “+,·”是模2加法和乘法运算. 构成了一个命题代数。a·b简写为ab