蘊含的冪等性

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

緊縮規則:從

A,C,CB

推導出

A,CB.

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

線性邏輯仿射邏輯(Affine logic)中,蘊涵不是冪等的。

參見

外部連結


參考資料