矛盾から何でも証明できる？出典あり
『正しい』と『正しくない』を同時に認めると、古典論理では大変なことになる。
古典論理には、ある命題とその否定を両方前提にすると、無関係な結論まで導ける『爆発原理』がある。矛盾を扱いたい別の論理体系では、この推論を認めないよう規則を変える。
考えるための規則が違えば、矛盾への対処も違う。
要約・翻訳：Unbubly · CC BY-SA 4.0
出典と利用条件
Rule of inference · Wikimedia contributors
出典の要約・翻訳・編集。本文の翻案部分も CC BY-SA 4.0 で提供します。
確認日: 2026-10-02