日本語
Sign in
AI tools
トップQs
タイムライン
チャット
Loading AI tools
すべて
記事
辞書
引用
地図
Idempotency of entailment
ウィキペディアから
Found in articles
古典論理
of
explosion)とすること(矛盾許容論理も参照); 帰結関係(論理的帰結を参照)の単調性(en:Monotonicity
of
entailment
、単調写像を参照)と帰結関係の冪等性(en:
Idempotency
of
entailment
); 論理積の交換法則(en:Commutativity