代数公式（关于代数公式的介绍）

大家好，小百来为大家解答以上的问题。代数公式，关于代数公式的介绍很多人还不知道，现在让我们一起来看看吧！

1、公式代数(algebra of formulas)一种特殊的布尔代数。

2、令L是关于命题或一阶逻辑的语言，T是L中语句的任一集合，对于L中的公式a,月定义a ^-月，当且仅当T卜a}--,月，即当且仅当a}--,月在命题(或谓词)演算中从公理T形式可证明.“一”是在一切公式集上的一个等价关系。

3、令「司是a关于一的等价类，且令B(T)=「司;a是L的一个公式。

本文到此结束，希望对大家有所帮助。

　　免责声明：本文由用户上传，与本网站立场无关。财经信息仅供读者参考，并不构成投资建议。投资者据此操作，风险自担。 如有侵权请联系删除！