公式代数(algebra of formulas)一种特殊的布尔代数.令L是关于命题或一阶逻辑的语言，T是L中语句的任一集合，对于L中的公式a,月定义a ^-月，当且仅当T卜a--,月，即当且仅当a--,月在命题(或谓词)演算中从公理T形式可证明.“一”是在一切公式集上的一个等价关系.令「司是a关于一的等价类，且令B(T)={「司;a是L的一个公式}。
想要了解更多“公式代数”的信息，请点击：公式代数百科
公式代数(algebra of formulas)一种特殊的布尔代数.令L是关于命题或一阶逻辑的语言，T是L中语句的任一集合，对于L中的公式a,月定义a ^-月，当且仅当T卜a--,月，即当且仅当a--,月在命题(或谓词)演算中从公理T形式可证明.“一”是在一切公式集上的一个等价关系.令「司是a关于一的等价类，且令B(T)={「司;a是L的一个公式}。
想要了解更多“公式代数”的信息，请点击：公式代数百科
