由可列集X={x1,xm}生成的自由{,代数P(X), 这也是命题代数。 0={F,x1…,yxn2… P1={(→,a12a)lara;∈Po ={(→,F,F)∪{(→,F,xx;∈x}∪ (→→,x;F)x∈X}U{(,x,x小)xx∈x} P2={(→,a;,4)a∈P0,a1∈P1U{(→,pap)a∈P1,1∈P0} P(X)为:P(X)=∪ 按类型T=({E,→},ar)定义P(X)上的运算: 把0元运算Fx规定为P(X)中的特定元素F 二元运算→a定义为: Px(p,q)=(→,P,q), 构成了X上T代数P(X,Fx,→Pxl,即命题代数 自由代数由可列集X={x1 ,…,xn ,…}生成的自由{F,→}代数P(X)， 这也是命题代数。 P0={F,x1 ,…,xn ,…} P1={(→,ai ,aj )|ai ,ajP0 } ={(→,F,F)}∪{(→,F,xi )|xiX}∪ {(→,xi ,F)|xiX}∪{(→,xi ,xj )|xi ,xjX} P2={(→,ai ,aj )|aiP0 ,ajP1 }∪{(→,ai ,aj )|aiP1 , ajP0 } P(X)为：P(X)=  n N Pn  按类型T=({F,→},ar)定义P(X)上的运算: 把0元运算FP(X)规定为P(X)中的特定元素F 二元运算→P(X)定义为: →P(X)(p,q)=(→,p,q)， 构成了X上T-代数[P(X),FP(X),→P(X)],即命题代数 自由代数