在布尔代数上定义的环是有单位元的可交换 环,即布尔环; 而有单位元满足幂等律的环布尔环 泛代数 自由T代数 引理17.1定理171,证明方法, 唯一性 存在性构造性证明过程实质上就是后面逻 辑的模型构造方法 给定谓词逻辑公式,化为自由T代数元素中 的形式,并且知道属于哪个Gn❖ 在布尔代数上定义的环是有单位元的可交换 环,即布尔环; ❖ 而有单位元满足幂等律的环,布尔环 ❖ 二、泛代数 ❖ 自由T-代数 ❖ 引理17.1,定理17.1,证明方法, ❖ 唯一性 ❖ 存在性:构造性证明过程实质上就是后面逻 辑的模型构造方法 ❖ 给定谓词逻辑公式，化为自由T-代数元素中 的形式,并且知道属于哪个Gn