「パースの法則（Peirce's law）」。

（01）
　―「含意の定義」の「証明」。―
（ⅰ）
１　　（１）　　　　Ｐ→Ｑ　　Ａ
　２　（２）　～（～Ｐ∨Ｑ）　Ａ
　　３（３）　　　～Ｐ　　　　Ａ
　　３（４）　　　～Ｐ∨Ｑ　　３∨Ｉ
　２３（５）　～（～Ｐ∨Ｑ）＆
　　　　　　　　（～Ｐ∨Ｑ）　２４＆Ｉ
　２　（６）　　～～Ｐ　　　　３５ＲＡＡ
　２　（７）　　　　Ｐ　　　　６ＤＮ
１２　（８）　　　　　　Ｑ　　１７ＭＰＰ
１２　（９）　　　～Ｐ∨Ｑ　　８∨Ｉ
１２　（ア）　～（～Ｐ∨Ｑ）＆
１２　（イ）　　（～Ｐ∨Ｑ）　２ア＆Ｉ
１　　（ウ）～～（～Ｐ∨Ｑ）　２イＲＡＡ
１　　（エ）　　　～Ｐ∨Ｑ　　ウＤＮ
（ⅱ）
１　　　　　（１）　　～Ｐ∨Ｑ　　　Ａ
　２　　　　（２）　　Ｐ＆～Ｑ　　　Ａ
　　３　　　（３）　　～Ｐ　　　　　Ａ
　２　　　　（４）　　Ｐ　　　　　　２＆Ｅ
　２３　　　（５）　　～Ｐ＆Ｐ　　　３４＆Ｉ
　　３　　　（６）～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　　（７）　　　　　Ｑ　　　Ａ
　２　　　　（８）　　　　～Ｑ　　　２＆Ｅ
　２　７　　（９）　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　　（ア）～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　　（イ）～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
　　　　ウ　（ウ）　　Ｐ　　　　　　Ａ
　　　　　エ（エ）　　　　～Ｑ　　　Ａ
　　　　ウエ（オ）　　Ｐ＆～Ｑ　　　ウエ＆Ｉ
１　　　ウエ（カ）～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　イオ＆Ｉ
１　　　ウ　（キ）　　　～～Ｑ　　　エカＲＡＡ
１　　　ウ　（ク）　　　　　Ｑ　　　キＤＮ
１　　　　　（ケ）　　Ｐ→　Ｑ　　　ウクＣＰ
従って、
（01）により、
（02）
① 　Ｐ→Ｑ
② ～Ｐ∨Ｑ
に於いて、
①＝② であって、この「等式」を、「含意の定義」といふ。
（03）
　―「ド・モルガンの法則」の「証明」。―
（ⅲ）
１　　　（１）　　　～（Ｐ＆Ｑ）　　Ａ
　２　　（２）　～（～Ｐ∨～Ｑ）　　Ａ
　　３　（３）　　　～Ｐ　　　　　　Ａ
　　３　（４）　　　～Ｐ∨～Ｑ　　　４∨Ｉ
　２３　（５）　～（～Ｐ∨～Ｑ）＆
　　　　　　　　　（～Ｐ∨～Ｑ）　　２４＆Ｉ
　２　　（６）　　～～Ｐ　　　　　　３５ＲＡＡ
　２　　（７）　　　　Ｐ　　　　　　６ＤＮ
　　　８（８）　　　　　　～Ｑ　　　Ａ
　　　８（９）　　　～Ｐ∨～Ｑ　　　８∨Ｉ
　２　８（ア）　～（～Ｐ∨～Ｑ）＆
　　　　　　　　　（～Ｐ∨～Ｑ）　　２９＆Ｉ
　２　　（イ）　　　　　～～Ｑ　　　８アＲＡＡ
　２　　（ウ）　　　　　　　Ｑ　　　イＤＮ
　２　　（エ）　　　　　Ｐ＆Ｑ　　　７ウ＆Ｉ
１２　　（オ）　　　～（Ｐ＆Ｑ）＆
　　　　　　　　　　　（Ｐ＆Ｑ）　　１エ＆Ｉ
１　　　（カ）～～（～Ｐ∨～Ｑ）　　２オＲＡＡ
１　　　（キ）　　　～Ｐ∨～Ｑ　　　カＤＮ
（ⅳ）
１　　　（１）　　　～Ｐ∨～Ｑ　　　Ａ
　２　　（２）　　　　Ｐ＆　Ｑ　　　Ａ
　　３　（３）　　　～Ｐ　　　　　　Ａ
　２　　（４）　　　　Ｐ　　　　　　２＆Ｅ
　２３　（５）　　　～Ｐ＆Ｐ　　　　３４＆Ｉ
　　３　（６）　　～（Ｐ＆　Ｑ）　　２５ＲＡＡ
　　　７（７）　　　　　　～Ｑ　　　Ａ
　２　　（８）　　　　　　　Ｑ　　　２＆Ｅ
　２　７（９）　　　　～Ｑ＆Ｑ　　　７８＆Ｉ
　　　７（ア）　　～（Ｐ＆　Ｑ）　　２９ＲＡＡ
１　　　（イ）　　～（Ｐ＆　Ｑ）　　１３６７ア∨Ｅ
従って、
（03）により、
（04）
③ ～（Ｐ＆Ｑ）
④ ～Ｐ∨～Ｑ　
に於いて、
③＝④ であって、この「等式」を、「ド・モルガンの法則」といふ。
然るに、
（05）
（ⅰ）
１　　　（１）　　（Ｐ→Ｑ）→Ｐ　　　Ａ
　２　　（２）　　～Ｐ∨Ｑ　　　　　　Ａ
　２　　（３）　　　Ｐ→Ｑ　　　　　　２含意の定義
１２　　（４）　　　　　　　　Ｐ　　　１３ＭＰＰ
１　　　（５）　（～Ｐ∨Ｑ）→Ｐ　　　２４ＣＰ
１　　　（６）～（～Ｐ∨Ｑ）∨Ｐ　　　５含意の定義
１　　　（７）　（Ｐ＆～Ｑ）∨Ｐ　　　６ド・モルガンの法則
　　８　（８）　　Ｐ＆～Ｑ　　　　　　Ａ
　　８　（９）　　Ｐ　　　　　　　　　８＆Ｅ
　　　ア（ア）　　　　　　　　Ｐ　　　Ａ
１　　　（イ）　　　　　　　　Ｐ　　　７８９アア∨Ｅ
　　　　（ウ）（（Ｐ→Ｑ）→Ｐ）→Ｐ　１イＣＰ
（ⅱ）
１　　　（１）　　（Ｐ→～Ｑ）→Ｐ　　　Ａ
　２　　（２）　　～Ｐ∨～Ｑ　　　　　　Ａ
　２　　（３）　　　Ｐ→～Ｑ　　　　　　２含意の定義
１２　　（４）　　　　　　　　　Ｐ　　　１３ＭＰＰ
１　　　（５）　（～Ｐ∨～Ｑ）→Ｐ　　　２４ＣＰ
１　　　（６）～（～Ｐ∨～Ｑ）∨Ｐ　　　５含意の定義
１　　　（７）　　（Ｐ＆　Ｑ）∨Ｐ　　　６ド・モルガンの法則
　　８　（８）　　　Ｐ＆　Ｑ　　　　　　Ａ
　　８　（９）　　　Ｐ　　　　　　　　　８＆Ｅ
　　　ア（ア）　　　　　　　　　Ｐ　　　Ａ
１　　　（イ）　　　　　　　　　Ｐ　　　７８９アア∨Ｅ
　　　　（ウ）（（Ｐ→～Ｑ）→Ｐ）→Ｐ　１イＣＰ
（ⅲ）
１　　　（１）　　［Ｐ→（Ｑ∨～Ｑ）］→Ｐ　　　Ａ
　２　　（２）　　～Ｐ∨（Ｑ∨～Ｑ）　　　　　　Ａ
　２　　（３）　　　Ｐ→（Ｑ∨～Ｑ）　　　　　　２含意の定義
１２　　（４）　　　　　　　　　　　　　Ｐ　　　１３ＭＰＰ
１　　　（５）　　～Ｐ∨（Ｑ∨～Ｑ）→　Ｐ　　　２４ＣＰ
１　　　（６）～［～Ｐ∨（Ｑ∨～Ｑ）］∨Ｐ　　　５含意の定義
１　　　（７）　　　Ｐ＆～（Ｑ∨～Ｑ）∨Ｐ　　　６ド・モルガンの法則
　　８　（８）　　　Ｐ＆～（Ｑ∨～Ｑ）　　　　　Ａ
　　７　（９）　　　Ｐ　　　　　　　　　　　　　８＆Ｅ
　　　ア（ア）　　　　　　　　　　　　　Ｐ　　　Ａ
１　　　（イ）　　　　　　　　　　　　　Ｐ　　　７８９アア∨Ｅ
　　　　（ウ）｛［Ｐ→（Ｑ∨～Ｑ）］→Ｐ｝→Ｐ　１イＣＰ
従って、
（05）により、
（06）
①（（Ｐ→　Ｑ）→Ｐ）→Ｐ
②（（Ｐ→～Ｑ）→Ｐ）→Ｐ
③｛［Ｐ→（Ｑ∨～Ｑ）］→Ｐ｝→Ｐ
に於いて、
① は、「トートロジー（恒真式）」であって、
② も、「トートロジー（恒真式）」であって、
③ も、「トートロジー（恒真式）」である。
然るに、
（07）
命題計算では、パースの法則は （（Ｐ→Ｑ）→Ｐ）→Ｐ のことを言う（ウィキペディア）。
従って、
（08）
①（（Ｐ→　Ｑ）→Ｐ）→Ｐ
②（（Ｐ→～Ｑ）→Ｐ）→Ｐ
③｛［Ｐ→（Ｑ∨～Ｑ）］→Ｐ｝→Ｐ
に於いて、
① は、「パースの法則」である。
然るに、
（09）
①（（Ｐ→　Ｑ）→Ｐ）→Ｐ
が、「パースの法則」であるならば、
①（（Ｐ→　Ｒ）→Ｐ）→Ｐ
も、「パースの法則」に、「違ひ」ない。
然るに、
（10）
①（（Ｐ→　Ｒ）→Ｐ）→Ｐ
に於いて、
① Ｒ＝～Ｑ
であるならば、
②（（Ｐ→～Ｑ）→Ｐ）→Ｐ
は、「パースの法則」である。
然るに、
（08）（09）（10）により、
（11）
①（（Ｐ→　Ｑ）→Ｐ）→Ｐ
②（（Ｐ→～Ｑ）→Ｐ）→Ｐ
③｛［Ｐ→（Ｑ∨～Ｑ）］→Ｐ｝→Ｐ
に於いて、
① が、「パースの法則」であって、
② も、「パースの法則」である以上、
③ も、「パースの法則」であるに、「違ひ」ない。
従って、
（11）により、
（12）
①（（Ｐ→　Ｑ）→Ｐ）→Ｐ
②（（Ｐ→～Ｑ）→Ｐ）→Ｐ
といふ「パースの法則」は、「実質的」には、
①（（Ｐならば、Ｑであらうと、Ｑでなからうと、）いづれにせよ、Ｐ）ならばＰである。
②（（Ｐならば、Ｑであらうと、Ｑでなからうと、）いづれにせよ、Ｐ）ならばＰである。
といふ「意味」になる。
然るに、
（13）
Peirce's law holds in classical propositional calculus, but not in intuitionistic propositional calculus. The precise axiom system that one chooses for classical propositional calculus determines whether Peirce's law is taken as an axiom or proven as a theorem.
パースの法則は、古典的な命題論理には当てはまりますが、直観主義的な命題論理には当てはまりません。古典的な命題論理のために選択する正確な公理システムは、パースの法則が公理と見なされるか、定理として証明されるかを決定します（Peirce's law - Wikiversity - Beta Wikiversity：グーグル翻訳）。
従って、
（12）（13）により、
（14）
「直観主義的な命題論理」からすると、
①（（Ｐ→Ｑ）→Ｐ）→Ｐ
①（（Ｐならば、Ｑであらうと、Ｑでなからうと、）いづれにせよ、Ｐ）ならばＰである。
といふ「パースの法則」は、「正しくはない」か、または、「正しいとも、正しくない」とも、言へない。
といふことになるが、私には、『そんなことは、有り得ない所の「不思議な話」である。』としか、思へない。
令和０２年１０月１７日、毛利太。