蘊含的冪等性
蘊含的冪等性( 英語：Idempotency of entailment)是邏輯系統的一種特性，它表明人們可以從一個假設的多個實例中得出與僅從一個假設中得出相同的結果。這個屬性可以被稱為緊縮規則的一種結構規則捕獲，在這樣的系統中，當且僅當緊縮是一個可接受的規則時，人們可以說蘊含是冪等的。[1][2]
緊縮規則：從
- A,C,C → B
推導出
- A,C → B.
或者在相繼式演算符號系統中，
在線性邏輯和仿射邏輯（Affine logic）中，蘊涵不是冪等的。
參見
[編輯]外部連結
[編輯]
- History of Logic in Relationship to Ontology （頁面存檔備份，存於網際網路檔案館） Annotated bibliography on the history of logic
參考資料
[編輯]- ^ Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.). [2021-02-08]. （原始內容存檔於2022-02-26）.
- ^ logic, britannica.com. [2021-06-27]. （原始內容存檔於2022-07-10）.
