代數(shù)公式（關(guān)于代數(shù)公式的簡(jiǎn)介）

2022-08-29 21:33:11 編輯：李聰杰來源：

導(dǎo)讀大家好，代數(shù)公式，關(guān)于代數(shù)公式的簡(jiǎn)介很多人還不知道，現(xiàn)在讓我們一起來看看吧！1、公式代數(shù)(algebra of formulas)一種特殊的布爾代數(shù)。

大家好，代數(shù)公式，關(guān)于代數(shù)公式的簡(jiǎn)介很多人還不知道，現(xiàn)在讓我們一起來看看吧！

1、公式代數(shù)(algebra of formulas)一種特殊的布爾代數(shù)。

2、令L是關(guān)于命題或一階邏輯的語言，T是L中語句的任一集合，對(duì)于L中的公式a,月定義a ^-月，當(dāng)且僅當(dāng)T卜a}--,月，即當(dāng)且僅當(dāng)a}--,月在命題(或謂詞)演算中從公理T形式可證明.“一”是在一切公式集上的一個(gè)等價(jià)關(guān)系。

3、令「司是a關(guān)于一的等價(jià)類，且令B(T)=「司;a是L的一個(gè)公式。

本文關(guān)于代數(shù)公式的簡(jiǎn)介就講解完畢，希望對(duì)大家有所幫助。

標(biāo)簽：

免責(zé)聲明：本文由用戶上傳，如有侵權(quán)請(qǐng)聯(lián)系刪除！