https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=%E6%9E%97%E7%99%BB%E9%AE%91%E5%A7%86-%E5%A1%94%E6%96%AF%E5%9F%BA%E4%BB%A3%E6%95%B8
林登鮑姆-塔斯基代數 - 修訂紀錄
2026-06-09T02:55:11Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=%E6%9E%97%E7%99%BB%E9%AE%91%E5%A7%86-%E5%A1%94%E6%96%AF%E5%9F%BA%E4%BB%A3%E6%95%B8&diff=424938&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-22T14:24:10Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>佇數理邏輯內底，邏輯理論 _ T _ 的'''林登鮑姆-塔斯基代數'''（Lindenbaum–Tarski algebra）_ A _ 由這个理論的句乎 _ p _ 的等價類構成（其中等價關係～定義做 : _ p _ ~ _ q _ 若是唯一 _ p _ 和 _ q _ 佇咧理論 _ T _ 中邏輯等價的時陣，也即在理論 _ T _ 中，句仔 _ p _ 佮 _ q _ 會當相捒出對方）。<br />
<br />
佇咧 _ A _ 中的運算繼承自 _ T _ 中間會著的遐的運算，典型的是合取佮析取，佇遮𪜶佇遮的類上是良定的。當 _ T _ 中存在是毋是的時陣，_ A _ 是布林代數，假定邏輯是經典邏輯。反抑是講來講，對所有的布林代數 _ A _，有（經典）句仔邏輯的一个理論 _ T _ 予得 _ T _ 的林登鮑姆-塔斯基代數仝款構於 _ A _。嘛會使講，所有的布林代數攏是（無仝款構之異）林登鮑姆-塔斯基代數。<br />
<br />
佇直覺邏輯的情況下，林登鮑姆-塔斯基代數是海廷代數。<br />
<br />
有時仔簡稱做'''林登鮑姆代數'''，這个構造啊真正阿道夫 ・ 林登鮑姆（一九空四年－一千九百四十一抑是九四二年）佮阿爾鴻雷德 ・ 塔斯基。<br />
<br />
==參照==<br />
<br />
* Hinman , P . Fundamentals of Mathematical Logic . A K Peters . 兩千空五 . ISBN 九百七十八追一孵五鋪六千八百八十一孵兩百六十二孵五 .<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot