Last Updated：2025/11/24
Sentence
含意のみの証明体系を構築する際、我々は命題論理の式((P→Q)→P)→P（古典的には有効だが直観主義的には有効でないもので、含意のみによる命題論理で排中律の代わりに用いることができる）、つまりピアースの法則を追加すると、さもなければ排中律を必要とする多くの導出が簡略化されることに気づいた。
Quizzes for review
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.
音声機能が動作しない場合はこちらをご確認ください
Related words
Peirce's law
Proper noun
Japanese Meaning
命題論理における定理のひとつで、古典論理では妥当であるが直感主義論理では成り立たない。具体的には、含意のみを使う命題論理体系において排中律の代替として用いられる法則、すなわち ((P→Q)→P)→P を示す。
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
