含意の冪等性JJapedia 編集部|更新日: 2026年8月2日 含意のべき等性は、仮説の多くのインスタンスからでも、1 つのインスタンスからと同じ結果を導き出すことができるという論理システムの特性です。この特性は、縮約と呼ばれる構造ルールによって表現でき、そのようなシステムでは、縮約が許容ルールである場合に限り、含意はべき等であると言えます。 短縮のルール: A、C、C → B 派生した A、C → B。 あるいは逐次微積分記法では、 Γ 、 Ｃ 、 Ｃ ⊢ B Γ 、 Ｃ ⊢ B {\displaystyle {\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}} 線形論理とアフィン論理では、含意はべき等ではありません。 参照 削除不可能定理 ヴte 関連するトピック関連論理システム関連縮約関連約関連許容ルール
