公式代数
编辑：Simone
2024-11-13 09:21:45
531 阅读
公式代数(algebra of formulas)一种特殊的布尔代数.令L是关于命题或一阶逻辑的语言，T是L中语句的任一集合，对于L中的公式a,月定义a ^-月，当且仅当T卜a--,月，即当且仅当a--,月在命题(或谓词)演算中从公理T形式可证明.“一”是在一切公式集上的一个等价关系.令「司是a关于一的等价类，且令B(T)={「司;a是L的一个公式}。
想要了解更多“公式代数”的信息，请点击：公式代数百科
版权声明：本站【百问十九】文章素材来源于网络或者用户投稿，未经许可不得用于商用，如转载保留本文链接：https://www.baiwen19.com/article/75067.html
![相对论[性]速度加法公式](/upload/baike/2024/0919/1bcffe16.jpg)
