「パースの法則」も「恒真式（トートロジー）」である。

（01）
（ⅰ）
１　　（１）　　（Ｐ＆～Ｑ）∨Ｐ　Ａ
　２　（２）　　（Ｐ＆～Ｑ）　　　Ａ
　２　（３）～～（Ｐ＆～Ｑ）　　　２ＤＮ
　２　（４）　～（～Ｐ∨Ｑ）　　　３ド・モルガンの法則
　２　（５）　　～（Ｐ→Ｑ）　　　４含意の定義
　２　（６）　　～（Ｐ→Ｑ）∨Ｐ　５∨Ｉ
　　７（７）　　　　　　　　　Ｐ　Ａ
　　７（８）　　～（Ｐ→Ｑ）∨Ｐ　７∨Ｉ
１　　（９）　　～（Ｐ→Ｑ）∨Ｐ　１２６７８∨Ｅ
１　　（ア）　　　（Ｐ→Ｑ）→Ｐ　９含意の定義
（ⅱ）
１　　（１）　　（Ｐ→Ｑ）→Ｐ　Ａ
１　　（２）　～（Ｐ→Ｑ）∨Ｐ　１含意の定義
　２　（３）　～（Ｐ→Ｑ）　　　Ａ
　２　（４）～（～Ｐ∨Ｑ）　　　３含意の定義
　２　（５）　　Ｐ＆～Ｑ　　　　４ド・モルガンの法則
　２　（６）　（Ｐ＆～Ｑ）∨Ｐ　５∨Ｉ
　　７（７）　　　　　　　　Ｐ　Ａ
　　７（８）　（Ｐ＆～Ｑ）∨Ｐ　７∨Ｉ
１　　（９）　（Ｐ＆～Ｑ）∨Ｐ　１２６７８∨Ｅ
従って、
（01）により、
（02）
①（Ｐ＆～Ｑ）∨Ｐ
②（Ｐ→　Ｑ）→Ｐ
に於いて、
①＝② である。
従って、
（02）により、
（03）
①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ
②（（Ｐ→　Ｑ）→Ｐ）→Ｐ
に於いて、
①＝② であるが、
② は、「パースの法則」である。
然るに、
（04）
（ⅰ）
１　　（１）　（Ｐ＆～Ｑ）∨Ｐ　　　　Ａ
　２　（２）　　Ｐ＆～Ｑ　　　　　　　Ａ
　２　（３）　　Ｐ　　　　　　　　　　２＆Ｅ
　　４（４）　　　　　　　　Ｐ　　　　Ａ
１　　（５）　　Ｐ　　　　　　　　　　１２３４４∨Ｅ
　　　（６）（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ　１５ＣＰ
従って、
（03）（04）により、
（05）
①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ
②（（Ｐ→　Ｑ）→Ｐ）→Ｐ
に於いて、
①＝② であるが、
① は、「恒真式（トートロジー）」であって、
② は、「パースの法則」である。
従って、
（05）により、
（06）
　Ｐ＝日本人である。
　Ｑ＝男性である。
～Ｑ＝男性でない＝女性である。
として、
①（（日本人であって女性である）か日本人である）ならば、　　日本人である。
②（（日本人ならば、男性である）ならば日本人である）ならば、日本人である。
に於いて、
①＝② であるが、
① は、「恒真式（トートロジー）」であって、
② は、「パースの法則」である。
従って、
（06）により、
（07）
②（（日本人ならば、男性である）ならば日本人である）ならば、日本人である。
は、「パースの法則」であって、「恒真式（トートロジー）」であるが、
② は、いくぶん、「変である」。
令和０４年０１月１２日、毛利太。