最終更新日：2025/11/24
例文
含意のみの証明体系を構築する際、我々は命題論理の式((P→Q)→P)→P（古典的には有効だが直観主義的には有効でないもので、含意のみによる命題論理で排中律の代わりに用いることができる）、つまりピアースの法則を追加すると、さもなければ排中律を必要とする多くの導出が簡略化されることに気づいた。
復習用の問題
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.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
Peirce's law
固有名詞
日本語の意味
命題論理における定理のひとつで、古典論理では妥当であるが直感主義論理では成り立たない。具体的には、含意のみを使う命題論理体系において排中律の代替として用いられる法則、すなわち ((P→Q)→P)→P を示す。
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
