「パースの法則」が「ヘンテコ」である「理由」。

（01）
①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ
②（（Ｐ→　Ｑ）→Ｐ）→Ｐ
に於いて、
①＝② であることを「証明」したい。
従って、
（01）により、
（02）
①　（Ｐ＆～Ｑ）∨Ｐ
②　（Ｐ→　Ｑ）→Ｐ
に於いて、
①＝② であることを「証明」したい。
然るに、
（03）
（ⅰ）
１　　　　（１）　　　　□→　◇　　　Ａ
　２　　　（２）　　　　□＆～◇　　　Ａ
　２　　　（３）　　　　□　　　　　　２＆Ｅ
１２　　　（４）　　　　　　　◇　　　１３ＭＰＰ
　２　　　（５）　　　　　　～◇　　　２＆Ｅ
１２　　　（６）　　　　◇＆～◇　　　４５＆Ｉ
１　　　　（７）　　～（□＆～◇）　　２６□ＡＡ
　　８　　（８）　～（～□∨　◇）　　Ａ
　　　９　（９）　　　～□　　　　　　Ａ
　　　９　（ア）　　　～□∨　◇　　　９∨Ｉ
　　８９　（イ）　～（～□∨　◇）＆
　　　　　　　　　　（～□∨　◇）　　８ア＆Ｉ
　　８　　（ウ）　　～～□　　　　　　９イ□ＡＡ
　　８　　（エ）　　　　□　　　　　　ウＤＮ
　　　　オ（オ）　　　　　　　◇　　　Ａ
　　　　オ（カ）　　　～□∨　◇　　　オ∨Ｉ
　　８　オ（キ）　～（～□∨　◇）＆
　　　　　　　　　　（～□∨　◇）　　８カ＆Ｉ
　　８　　（ク）　　　　　　～◇　　　オキ□ＡＡ
　　８　　（ケ）　　　　□＆～◇　　　エク＆Ｉ
１　８　　（コ）　　～（□＆～◇）＆
　　　　　　　　　　　（□＆～◇）　　７ケ＆Ｉ
１　　　　（サ）～～（～□∨　◇）　　８コ□ＡＡ
１　　　　（シ）　　　～□∨　◇　　　サＤＮ
（ⅱ）
１　　　　　（１）　～□∨　◇　　　Ａ
　２　　　　（２）　　□＆～◇　　　Ａ
　　３　　　（３）　～□　　　　　　Ａ
　２　　　　（４）　　□　　　　　　２＆Ｅ
　２３　　　（５）　～□＆□　　　　３４＆Ｉ
　　３　　　（６）～（□＆～◇）　　２５□ＡＡ
　　　７　　（７）　　　　　◇　　　Ａ
　２　　　　（８）　　　　～◇　　　２＆Ｅ
　２　７　　（９）　　◇＆～◇　　　７８＆Ｉ
　　　７　　（ア）～（□＆～◇）　　２９□ＡＡ
１　　　　　（イ）～（□＆～◇）　　１３６７ア∨Ｅ
　　　　ウ　（ウ）　　□　　　　　　Ａ
　　　　　エ（エ）　　　　～◇　　　Ａ
　　　　ウエ（オ）　　□＆～◇　　　ウエ＆Ｉ
１　　　ウエ（オ）～（□＆～◇）＆
　　　　　　　　　　（□＆～◇）　　イオ＆Ｉ
１　　　ウ　（カ）　　　～～◇　　　エオ□ＡＡ
１　　　ウ　（キ）　　　　　◇　　　カＤＮ
１　　　　　（ク）　　□→　◇　　　ウクＣＰ
従って、
（03）により、
（04）
① ～□∨◇
②　 □→◇
に於いて、
①＝② である（含意の定義）。
従って、
（02）（04）により、
（05）
①　 （Ｐ＆～Ｑ）∨Ｐ
② ～（Ｐ→　Ｑ）∨Ｐ
に於いて、
①＝② であることを「証明」したい。
従って、
（05）により、
（06）
①　 （Ｐ＆～Ｑ）
② ～（Ｐ→　Ｑ）
に於いて、
①＝② であることを「証明」したい。
然るに、
（07）
（ⅰ）
１　　　（１）　～（Ｐ→　Ｑ）　　Ａ
　２　　（２）　～（Ｐ＆～Ｑ）　　Ａ
　　３　（３）　　　Ｐ　　　　　　Ａ
　　　４（４）　　　　　～Ｑ　　　Ａ
　　３４（５）　　　Ｐ＆～Ｑ　　　３４＆Ｉ
　２３４（６）　～（Ｐ＆～Ｑ）＆
　　　　　　　　　（Ｐ＆～Ｑ）　　２５＆Ｉ
　２３　（７）　　　　～～Ｑ　　　４６ＲＡＡ
　２３　（８）　　　　　　Ｑ
　２　　（９）　　　Ｐ→　Ｑ
　３８ＣＰ
１２　　（ア）　～（Ｐ→　Ｑ）＆
　　　　　　　　　（Ｐ→　Ｑ）　　１９＆Ｉ
１　　　（イ）～～（Ｐ＆～Ｑ）　　２アＲＡＡ
１　　　（ウ）　　　Ｐ＆～Ｑ　　　イＤＮ
（ⅱ）
１　　　（１）　　　Ｐ＆～Ｑ　　　Ａ
　２　　（２）　　　Ｐ→　Ｑ　　　Ａ
１　　　（３）　　　Ｐ　　　　　　１＆Ｅ
１２　　（４）　　　　　　Ｑ　　　２３ＣＰ
１　　　（５）　　　　　～Ｑ　　　１＆Ｅ
１２　　（６）　　　Ｑ＆～Ｑ　　　４５＆Ｉ
１　　　（７）　～（Ｐ→　Ｑ）　　２６ＲＡＡ
従って、
（07）により、
（08）
①　 （Ｐ＆～Ｑ）
② ～（Ｐ→　Ｑ）
に於いて、
①＝② である。
従って、
（01）～（08）により、
（09）
（Ⅰ）
①　 （Ｐ＆～Ｑ）
② ～（Ｐ→　Ｑ）
に於いて、
①＝② である。
従って、
（Ⅰ）により、
（Ⅱ）
①　 （Ｐ＆～Ｑ）∨Ｐ
② ～（Ｐ→　Ｑ）∨Ｐ
に於いて、
①＝② である。
従って、
（Ⅱ）により、
（Ⅲ）
①　（Ｐ＆～Ｑ）∨Ｐ
②　（Ｐ→　Ｑ）→Ｐ
に於いて、
①＝② である。
従って、
（Ⅲ）により、
（Ⅳ）
①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ
②（（Ｐ→　Ｑ）→Ｐ）→Ｐ
に於いて、
①＝② である。
従って、
（09）により、
（10）
Ｐ＝奇数である。
Ｑ＝素数である。
として、
（Ⅰ）
①（奇数であるが、素数ではない）。
②（奇数であるならば素数である）といふわけではない。
に於いて、
①＝② である。
従って、
（Ⅰ）により、
（Ⅱ）
①（奇数であるが、素数ではない）か、または（奇数である）。
②（奇数であるならば素数である）といふわけではないか、または（奇数である）。
に於いて、
①＝② である。
従って、
（Ⅱ）により、
（Ⅲ）
①（奇数であるが、素数ではない）か、または（奇数である）。
②（奇数であるならば素数である）ならば（奇数である）。
に於いて、
①＝② である。
従って、
（Ⅲ）により、
（Ⅳ）
①（（奇数であるが、素数ではない）か、または（奇数である））ならば（奇数である）。
②（（奇数であるならば素数である）ならば（奇数である））ならば（奇数である）。
然るに、
（10）により、
（11）
①（奇数であるが、素数ではない）。
②（奇数であるならば素数である）といふわけではない。
に於いて、
①＝② である。
といふことは、「当然」であるが、
①（（奇数であるが、素数ではない）か、または（奇数である））ならば（奇数である）。
②（（奇数であるならば素数である）ならば（奇数である））ならば（奇数である）。
に於いて、
①＝② である。
といふことは、「分かり難い」。
従って、
（09）～（11）により、
（12）
（Ⅰ）
①　 （Ｐ＆～Ｑ）
② ～（Ｐ→　Ｑ）
（Ⅱ）
①　 （Ｐ＆～Ｑ）∨Ｐ
② ～（Ｐ→　Ｑ）∨Ｐ
（Ⅲ）
①　（Ｐ＆～Ｑ）∨Ｐ
②　（Ｐ→　Ｑ）→Ｐ
（Ⅳ）
①（（Ｐ＆～Ｑ）∨Ｐ）→Ｐ
②（（Ｐ→　Ｑ）→Ｐ）→Ｐ
といふ『同値変形』を「繰り返した結果」として、
①（（奇数であるが、素数ではない）か、または（奇数である））ならば（奇数である）。
②（（奇数であるならば素数である）ならば（奇数である））ならば（奇数である）。
に於いて、
①＝② である。
といふ「意味不明の等式（パースの法則）」が「成立」する。
令和５年８月２４日、毛利太。