最終更新日：2025/11/24
When developing an implicational proof system, we found that adding Peirce's law simplifies many derivations that otherwise would require the law of excluded middle.
正解を見る
When developing an implicational proof system, we found that adding Peirce's law simplifies many derivations that otherwise would require the law of excluded middle.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
含意のみの証明体系を構築する際、我々は命題論理の式((P→Q)→P)→P（古典的には有効だが直観主義的には有効でないもので、含意のみによる命題論理で排中律の代わりに用いることができる）、つまりピアースの法則を追加すると、さもなければ排中律を必要とする多くの導出が簡略化されることに気づいた。
