Last Updated：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.
See correct answer
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.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
含意のみの証明体系を構築する際、我々は命題論理の式((P→Q)→P)→P（古典的には有効だが直観主義的には有効でないもので、含意のみによる命題論理で排中律の代わりに用いることができる）、つまりピアースの法則を追加すると、さもなければ排中律を必要とする多くの導出が簡略化されることに気づいた。
