蘊含的冪等性

蘊含的冪等性( 英語：Idempotency of entailment)是邏輯系統的一種特性，它表明人們可以從一個假設的多個實例中得出與僅從一個假設中得出相同的結果。這個屬性可以被稱為緊縮規則的一種結構規則捕獲，在這樣的系統中，若且唯若緊縮是一個可接受的規則時，人們可以說蘊含是冪等的。

緊縮規則：從

A,C,C → B

推導出

A,C → B.

或者在相繼式演算符號系統中，

${\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}$

在線性邏輯和仿射邏輯（Affine logic）中，蘊涵不是冪等的。

參見

• 蘊含
• 邏輯
• 經典邏輯
• 結構規則
• 蘊含的單調性

外部連結

• History of Logic in Relationship to Ontology （頁面存檔備份，存於互聯網檔案館） Annotated bibliography on the history of logic